Xavier Montillet
Xavier Montillet
Home
Manuscripts
Drafts
Talks
Light
Dark
Automatic
Talks
2019
Frame Type Theory
Unifying records, sections and modules in a dependent type theory
Thu, Jun 13, 2019 11:00 — 11:15
Ingeniørenes Hus Møtesenter
Cyril Cohen
,
Assia Mahboubi
,
Xavier Montillet
Abstract
Slides (light)
Slides (dark)
Slides (initial version)
Cite
×