1.Generative Unbinding of Names

作　　者：Andrew M. Pitts ;Mark R. Shinwell

出　　处：Logical Methods in Computer Science. 2008 ;4(01).doi:10.2168/LMCS-4(1:4)2008

出版社：Technical University of Braunschweig

文章 ID：46838686

文章详细全文下载
2.Models of Type Theory Based on Moore Paths

作　　者：Ian Orton ;Andrew M. Pitts

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:28:1-28:16.doi:10.4230/LIPIcs.FSCD.2017.28

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

文章 ID：200735137

文章详细全文下载
3.Quotients in Dependent Type Theory (Invited Talk)

作　　者：Andrew M. Pitts

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:3:1-3:2.doi:10.4230/LIPIcs.FSCD.2020.3

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

文章 ID：255823180

文章详细全文下载
4.Internal Universes in Models of Homotopy Type Theory

作　　者：Daniel R. Licata ;Ian Orton ;Andrew M. Pitts 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:22:1-22:17.doi:10.4230/LIPIcs.FSCD.2018.22

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

文章 ID：220014780

文章详细
5.Relating Two Semantics of Locally Scoped Names

作　　者：Steffen L{\"o}sch ;Andrew M. Pitts

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:396-411.doi:10.4230/LIPIcs.CSL.2011.396

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

文章 ID：186845997

文章详细全文下载
6.Nominal Presentation of Cubical Sets Models of Type Theory

作　　者：Andrew M. Pitts

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:202-220.doi:10.4230/LIPIcs.TYPES.2014.202

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

文章 ID：186847086

文章详细全文下载
7.Axioms for Modelling Cubical Type Theory in a Topos

作　　者：Ian Orton ;Andrew M. Pitts

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

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

文章 ID：186847941

文章详细全文下载
8.Decomposing the Univalence Axiom

作　　者：Ian Orton ;Andrew M. Pitts

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;104:1-19.doi:10.4230/LIPIcs.TYPES.2017.6

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

文章 ID：230438734

文章详细全文下载

	有本地全文	7篇
	有全文链接	1篇

	Andrew M. Pitts	8篇
	Ian Orton	4篇
	Bas Spitters	1篇
	Daniel R. Licata	1篇
	Mark R. Shinwell	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Andrew M. Pitts")))) )) ) )"

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

	2020	1篇
	2018	2篇
	2017	1篇
	2016	1篇
	2015	1篇

	2011	1篇
	2008	1篇