Return to Browse Limit/Sort Search
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Barendregt, H. P. (Hendrik Pieter)
1
Book
1984

The lambda calculus : its syntax and semantics


Barendregt, H. P. (Hendrik Pieter)
Revised edition
Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Bar  AVAILABLE
2
E-book
1994

Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers






Rating:

 
Electronic Resources
Add Marked to Bag Add All On Page
Locate in results
Return to Browse Limit/Sort Search