Start Over
You searched for: author_facet Barendregt, H. P.

Search Results

Cover image for Lambda calculus with types

Lambda calculus with types

Location
Access Content Online
Cover image for Types for proofs and programs

Types for proofs and programs

  • 1994
  • Format: Electronic
Location
Access Content Online
Cover image for Types for proofs and programs

Types for proofs and programs

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.9.A96 T97 1994 ✔ Available
Cover image for The lambda calculus

The lambda calculus

Location Call # Status
Joyner - General Stacks QA9.5 .B36 1984 ✔ Available
Cover image for The lambda calculus

The lambda calculus

Location
Access Content Online