Opening the shelf…
Book dossier
by C. Casadio, Philip J. Scott
No description is available for this edition yet.
The lambda calculus
H. P. Barendregt
Typed Lambda Calculi and Applications
Pawel Urzyczyn
Lambda Calculi
Chris Hankin
Abstract computing machines
Werner Kluge
Domains and lambda-calculi
Roberto M. Amadio
Masahito Hasegawa
Lectures on the Curry-Howard isomorphism
Morten Heine Sørensen
Samson Abramsky
Typed lambda calculi and applications
International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)
