Basic Simple Type Theory

E1984153 UNEXPLORED

Basic Simple Type Theory is a foundational monograph by J. Roger Hindley that systematically develops the theory, syntax, and semantics of simply typed lambda calculus and related type systems in logic and computer science.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Basic Simple Type Theory canonical	2

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

J. Roger Hindley → notableWork → Basic Simple Type Theory ⓘ

J. Roger Hindley → authorOf → Basic Simple Type Theory ⓘ