1.Homotopy Canonicity for Cubical Type Theory

作　　者：Thierry Coquand ;Simon Huber ;Christian Sattler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-23.doi:10.4230/LIPIcs.FSCD.2019.11

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892298

文章详细全文下载
2.Gluing for Type Theory

作　　者：Ambrus Kaposi ;Simon Huber ;Christian Sattler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-19.doi:10.4230/LIPIcs.FSCD.2019.25

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892312

文章详细全文下载
3.Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom

作　　者：Cyril Cohen ;Thierry Coquand ;Simon Huber 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:5:1-5:34.doi:10.4230/LIPIcs.TYPES.2015.5

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015480

文章详细
4.A Model of Type Theory in Cubical Sets

作　　者：Marc Bezem ;Thierry Coquand ;Simon Huber

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:107-128.doi:10.4230/LIPIcs.TYPES.2013.107

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846500

文章详细全文下载
5.CANONICITY AND HOMOTOPY CANONICITY FOR CUBICAL TYPE THEORY

作　　者：Thierry Coquand ;Simon Huber ;Christian Sattler

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-35.doi:10.46298/lmcs-18(1:28)2022

出版社：Technical University of Braunschweig

文章 ID：1038046930

文章详细

	有本地全文	3篇
	有全文链接	2篇

	Simon Huber	5篇
	Thierry Coquand	4篇
	Christian Sattler	3篇
	Ambrus Kaposi	1篇
	Anders M{\"o}rtberg	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Simon Huber")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Logical Methods in Computer Science	1篇

	2022	1篇
	2019	2篇
	2018	1篇
	2014	1篇

	Cyril Cohen	1篇
	Marc Bezem	1篇