Skip to Main Content
Umbrella Alt Text
header search
Search
Advanced Search
Skip Nav Destination
Type-Logical Semantics

Type-Logical Semantics

By
Bob Carpenter
Bob Carpenter
Search for other works by this author on:
This Site
Google Scholar
The MIT Press
DOI:
https://doi.org/10.7551/mitpress/6945.001.0001
ISBN electronic:
9780262269902
Publication date:
1998
Book Chapter

2: Simply Typed λ-Calculus

Doi:
https://doi.org/10.7551/mitpress/6945.003.0004
  • Published:
    1998
You do not currently have access to this chapter.
Don't already have an account? Register
A product of The MIT Press
Newsletter Sign Up

Browse

Resources

MIT Press Links

Contact Us

© 2022 The MIT Press
Close Modal
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy.
Accept