Some Lambda Calculus and Type Theory Formalized

James McKinna, Randy Pollack

Research output: Contribution to journalArticle

67 Citations (Scopus)

Fingerprint Dive into the research topics of 'Some Lambda Calculus and Type Theory Formalized'. Together they form a unique fingerprint.

Engineering & Materials Science