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

文章详细全文下载
2.A Syntax for Mutual Inductive Families

作　　者：Ambrus Kaposi ;Jakob von Raumer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:23:1-23:21.doi:10.4230/LIPIcs.FSCD.2020.23

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

文章 ID：255823200

文章详细全文下载
3.For Finitary Induction-Induction, Induction Is Enough

作　　者：Ambrus Kaposi ;András Kovács ;Ambroise Lafont

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

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

文章 ID：256859675

文章详细全文下载
4.Towards a Cubical Type Theory without an Interval

作　　者：Thorsten Altenkirch ;Ambrus Kaposi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:3:1-3:27.doi:10.4230/LIPIcs.TYPES.2015.3

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

文章 ID：220015478

文章详细
5.A Syntax for Higher Inductive-Inductive Types

作　　者：Ambrus Kaposi ;Andr{\'a}s Kov{\'a}cs

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:20:1-20:18.doi:10.4230/LIPIcs.FSCD.2018.20

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

文章 ID：220014778

文章详细
6.Normalisation by Evaluation for Dependent Types

作　　者：Thorsten Altenkirch ;Ambrus Kaposi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:6:1-6:16.doi:10.4230/LIPIcs.FSCD.2016.6

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

文章 ID：186847438

文章详细全文下载
7.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Andreas Abel ;Fredrik Nordvall Forsberg ;Ambrus Kaposi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;104:i-x.doi:10.4230/LIPIcs.TYPES.2017.0

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

文章 ID：230438728

文章详细全文下载

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ambrus Kaposi")))) )) ) )"

	Ambrus Kaposi	7篇
	Thorsten Altenkirch	2篇
	Ambroise Lafont	1篇
	Andreas Abel	1篇
	Andr{\'a}s Kov{\'a}cs	1篇

	András Kovács	1篇
	Christian Sattler	1篇
	Fredrik Nordvall Forsberg	1篇
	Jakob von Raumer	1篇
	Simon Huber	1篇

	2020	2篇
	2019	1篇
	2018	3篇
	2016	1篇