Automath and pure type systems

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Research output: Contribution to journalArticle

Fingerprint Dive into the research topics of 'Automath and pure type systems'. Together they form a unique fingerprint.