Typed lambda calculi and applications: 10. international conference, TLCA 2011 : Novi Sa… by Ong, Luke, International Conference on Typed Lambda Calculi and Applications, Novi Sad fromLecture Notes in Computer Science 0 Type: Book
Introduction to functional programming trough lambda calculus by Michaelson, Greg fromInternational computer science series 0 Type: Book
Proofs and types by Taylor, Paul, Girard, Jean-Yves, Lafont, Yves fromCambridge tracts in theoretical computer science 0 Type: Book
The lambda calculus: its syntax and semantics by Barendregt, Hendrik Pieter fromStudies in logic and the foundations of mathematics 0 Type: Book
