Proofs and Types

E2074826 UNEXPLORED

Proofs and Types is a foundational book in mathematical logic and type theory that systematically develops the connections between proofs, computation, and typed lambda calculi.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Proofs and Types canonical	1

Referenced by (1)

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

Jean-Yves Girard → notableWork → Proofs and Types ⓘ