UF IAS 2012 Archive
Meaning Explanations
Skip the Navigation Links
|
Home Page
|
All Pages
|
Here are some resources on meaning explanations for type theory.
A
page in the nLab
Peter Dybjer's slides
Email discussion about meaning explanations:
IAS - MEANING EXPLANATION DISCUSSION
Created on April 19, 2018 at 21:16:58 by
Univalent foundations special year 2012