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