Combinatory representations of lambda-calculus

Toshihiko Kurata

(Tokyo Metropolitan University, Japan)

We introduce a combinatory representation which models the theory of beta-equality in lambda-calculus, and obtain an embedding functor from the category of our combinatory structures (and homomorphisms among them) to the one of general lambda-models introduced by Berry. Through this consideration, we further study the correspondence of Berry's lambda-models to lambda-algebras.
Friday 3rd March 2000, 10:00
Robert Recorde Room
Department of Computer Science