Pure Type Systems Formalized

James McKinna, Robert Pollack

Research output: Chapter in Book/Report/Conference proceedingConference contribution

59 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Pure Type Systems Formalized'. Together they form a unique fingerprint.

Social Sciences