Back to Results
First PageMeta Content



Modelling Cubical Type Theory in Agda
Add to Reading List

Document Date: 2016-06-30 09:21:07


Open Document

File Size: 359,42 KB

Share Result on Facebook
UPDATE