@t.uemura

A Model of Type Theory in Cubical Sets

, , и . 19th International Conference on Types for Proofs and Programs (TYPES 2013), том 26 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 107--128. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2014)
DOI: http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.107

Линки и ресурсы

тэги