Fingerprint
Dive into the research topics of 'Type Theory with Explicit Universe Polymorphism'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution