Opening the shelf…
Opening the shelf…
Book dossier
by H. P. Barendregt
No description is available for this edition yet.
Language & grammar
C. Casadio
Typed Lambda Calculi and Applications
Pawel Urzyczyn
Lambda Calculi
Chris Hankin
Abstract computing machines
Werner Kluge
Domains and lambda-calculi
Roberto M. Amadio
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)