Xavier Montillet
Xavier Montillet
Home
Manuscripts
Drafts
Talks
Light
Dark
Automatic
Frame type theory
Frame Type Theory
Unifying records, sections and modules in a dependent type theory
Cite
×