Basic track

Page under construction!…

The basic track provides an introduction to first-order term rewriting and λ-calculus.

First-order term rewriting

Aart Middeldorp (Innsbruck University)

Sarah Winkler (Innsbruck University)

Term rewriting is a conceptually simple, but powerful abstract model of computation which underlies much of declarative programming and automated theorem proving. The foundation of rewriting is equational logic. It constitutes a basic framework for program analysis and has applications in automated reasoning, algebra, computability theory and lambda calculus, compiler construction, engineering, as well as functional and logic programming.

This course provides a modern introduction to rewriting in general and term rewriting in particular. All key concepts are covered and glimpses into current research will be provided. Moreover, several automatic tools will be demonstrated.

Read more…

λ-calculus

Femke van Raamsdonk (VU University Amsterdam)

Page under construction!…

Comments are closed.