Skip Nav Destination
Type-Logical Semantics
The MIT Press
ISBN electronic:
9780262269902
Publication date:
1998
Book Chapter
2: Simply Typed λ-Calculus
-
Published:1998
Citation
1998. "Simply Typed λ-Calculus", Type-Logical Semantics, Bob Carpenter
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.