1.Initiality for Typed Syntax and Semantics

作　　者：Benedikt Ahrens

出　　处：Journal of Formalized Reasoning. 2015 ;8(2):1-155.doi:10.6092/issn.1972-5787/4712

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：101781436

文章详细全文下载

2.Initial Semantics for higher-order typed syntax in Coq

作　　者：Benedikt Ahrens ;Julianna Zsido

出　　处：Journal of Formalized Reasoning. 2011 ;4(1):25-69.doi:10.6092/issn.1972-5787/2066

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：100489216

文章详细全文下载

3.Bicategories in Univalent Foundations

作　　者：Benedikt Ahrens ;Dan Frumin ;Marco Maggesi 等

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

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

文章 ID：238892292

文章详细全文下载

4.Modular Specification of Monads Through Higher-Order Presentations

作　　者：Benedikt Ahrens ;Andr Hirschowitz ;Ambroise Lafont 等

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

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

文章 ID：238892293

文章详细全文下载

5.Categorical Structures for Type Theory in Univalent Foundations

作　　者：Benedikt Ahrens ;Peter LeFanu Lumsdaine ;Vladimir Voevodsky

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:8:1-8:16.doi:10.4230/LIPIcs.CSL.2017.8

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

文章 ID：200735074

文章详细全文下载

6.Displayed Categories

作　　者：Benedikt Ahrens ;Peter LeFanu Lumsdaine

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

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

文章 ID：200735114

文章详细全文下载

7.Heterogeneous Substitution Systems Revisited

作　　者：Benedikt Ahrens ;Ralph Matthes

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:2:1-2:23.doi:10.4230/LIPIcs.TYPES.2015.2

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

文章 ID：220015477

文章详细

8.Digital rock physics and laboratory considerations on a high-porosity volcanic rock

作　　者：Laura L. Schepp ;Benedikt Ahrens ;Martin Balcewicz 等

出　　处：Scientific Reports. 2020 ;10(1):1-16.doi:10.1038/s41598-020-62741-1

出版社：Springer Nature

文章 ID：259924773

文章详细全文下载

9.Extended Initiality for Typed Abstract Syntax

作　　者：Benedikt Ahrens

出　　处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:1)2012

出版社：Technical University of Braunschweig

文章 ID：264692003

文章详细全文下载

10.Non-Wellfounded Trees in Homotopy Type Theory

作　　者：Benedikt Ahrens ;Paolo Capriotti ;R{\'e}gis Spadotti

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:17-30.doi:10.4230/LIPIcs.TLCA.2015.17

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

文章 ID：186846853

文章详细全文下载

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

	Andr Hirschowitz	1篇
	Andr{\'e} Hirschowitz	1篇
	Benoit Nigon	1篇
	Dan Frumin	1篇
	David Uribe	1篇
	Donald A. Swanson	1篇
	Erik H. Saenger	1篇
	Ferdinand Stöckhert	1篇
	Holger Steeb	1篇
	Julianna Zsido	1篇
	Laura L. Schepp	1篇
	Mandy Duda	1篇
	Marcel Gurris	1篇
	Maria Osorno	1篇
	Martin Balcewicz	1篇
	Mathias Nehler	1篇
	Mirko Siegert	1篇
	Niels van der Weide	1篇
	Paolo Capriotti	1篇
	Ralph Matthes	1篇
	Vladimir Voevodsky	1篇

	计算技术、计算机技术	11篇
	自然科学总论	1篇

	德国	9篇
	意大利	2篇
	英国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Benedikt Ahrens")))) )) ) )"

	Benedikt Ahrens	12篇
	Marco Maggesi	3篇
	Ambroise Lafont	2篇
	Peter LeFanu Lumsdaine	2篇
	R{\'e}gis Spadotti	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Journal of Formalized Reasoning	2篇
	Logical Methods in Computer Science	1篇
	Scientific Reports	1篇