1.A formal proof of Sasaki-Murao algorithm

作　　者：Thierry Coquand ;Anders Mörtberg ;Vincent Siles

出　　处：Journal of Formalized Reasoning. 2012 ;5(1):27-36.doi:10.6092/issn.1972-5787/2615

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：100489245

文章详细全文下载

2.A proof of strong normalisation using domain theory

作　　者：Thierry Coquand ;Arnaud Spiwack

出　　处：Logical Methods in Computer Science. 2007 ;3(04).doi:10.2168/LMCS-3(4:12)2007

出版社：Technical University of Braunschweig

文章 ID：46838672

文章详细全文下载

3.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

文章详细全文下载

4.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

文章详细

5.The Ackermann Award 2012

作　　者：Thierry Coquand ;Anuj Dawar ;Damian Niwinski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:1-5.doi:10.4230/LIPIcs.CSL.2012.1

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

文章 ID：186846143

文章详细全文下载

6.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

文章详细全文下载

7.Non-Constructivity in Kan Simplicial Sets

作　　者：Marc Bezem ;Thierry Coquand ;Erik Parmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:92-106.doi:10.4230/LIPIcs.TLCA.2015.92

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

文章 ID：186846858

文章详细全文下载

8.The Ackermann Award 2016

作　　者：Thierry Coquand ;Anuj Dawar

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:1:1-1:4.doi:10.4230/LIPIcs.CSL.2016.1

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

文章 ID：186847918

文章详细全文下载

9.Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems

作　　者：Thierry Coquand ;Bas Spitters

出　　处：Journal of Universal Computer Science. 2005 ;11(12):1932-1944.

出版社：Graz University of Technology and Know-Center

文章 ID：186875773

文章详细

10.The Independence of Markov's Principle in Type Theory

作　　者：Thierry Coquand ;Bassel Mannaa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:17:1-17:18.doi:10.4230/LIPIcs.FSCD.2016.17

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

文章 ID：186847449

文章详细全文下载

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

	2022	1篇
	2019	1篇
	2018	3篇
	2016	2篇
	2015	1篇

	Erik Parmann	2篇
	Anders M{\"o}rtberg	1篇
	Anders Mörtberg	1篇
	Arnaud Spiwack	1篇
	Bas Spitters	1篇
	Bassel Mannaa	1篇
	Cyril Cohen	1篇
	Damian Niwinski	1篇
	Keiko Nakata	1篇
	Robin Adams	1篇
	Vincent Siles	1篇

	德国	11篇
	奥地利	1篇
	意大利	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Thierry Coquand")))) )) ) )"

	Thierry Coquand	13篇
	Marc Bezem	4篇
	Simon Huber	4篇
	Anuj Dawar	2篇
	Christian Sattler	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Logical Methods in Computer Science	2篇
	Journal of Formalized Reasoning	1篇
	Journal of Universal Computer Science	1篇