Proof and Computation : Proceedings of the NATO Advanced Study Institute on Proof and Computation, Held in Marktoberdorf, Germany, July 20-August 1, 1993
Part of the NATO Asi series
Logical concepts and methods are of growing importance in many areas of computer science.
The proofs-as-programs paradigm and the wide acceptance of PROLOG show this clearly.
The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computational procedure.
Conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques.
This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory.
The subjects covered include specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.