Available at http://www.cs.man.ac.uk/~pt/stable/Proofs+Types. html (last visited 2007–05–15 (1989)

by Proofs, Types
Results 1 - 1 of 1

First Year Report:

by unknown authors , 2007
"... 3.1 Presentation of the λ-Calculus..................... 5 ..."
Abstract - Add to MetaCart
3.1 Presentation of the λ-Calculus..................... 5