1.A Lambda Term Representation Inspired by Linear Ordered Logic

作　　者：Andreas Abel ;Nicolai Kraus

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;71:1-13.doi:10.4204/EPTCS.71.1

出版社：Open Publishing Association

文章 ID：83120340

文章详细全文下载
2.From Cubes to Twisted Cubes via Graph Morphisms in Type Theory

作　　者：Gun Pinyo ;Nicolai Kraus

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-18.doi:10.4230/LIPIcs.TYPES.2019.5

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

文章 ID：256859674

文章详细全文下载
3.Functions out of Higher Truncations

作　　者：Paolo Capriotti ;Nicolai Kraus ;Andrea Vezzosi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:359-373.doi:10.4230/LIPIcs.CSL.2015.359

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

文章 ID：186847057

文章详细全文下载
4.The General Universal Property of the Propositional Truncation

作　　者：Nicolai Kraus

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:111-145.doi:10.4230/LIPIcs.TYPES.2014.111

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

文章 ID：186847082

文章详细全文下载
5.Extending Homotopy Type Theory with Strict Equality

作　　者：Thorsten Altenkirch ;Paolo Capriotti ;Nicolai Kraus

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

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

文章 ID：186847938

文章详细全文下载

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nicolai Kraus")))) )) ) )"

	Nicolai Kraus	5篇
	Paolo Capriotti	2篇
	Andrea Vezzosi	1篇
	Andreas Abel	1篇
	Gun Pinyo	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2020	1篇
	2016	1篇
	2015	2篇
	2011	1篇