Algebraic Presentations of Dependent Type Theories

Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke

Research output: Working paperPreprintAcademic

Fingerprint

Dive into the research topics of 'Algebraic Presentations of Dependent Type Theories'. Together they form a unique fingerprint.

Mathematics

Computer Science

Keyphrases