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

文章详细全文下载
2.Modules over Monads and Operational Semantics

作　　者：Andr Hirschowitz ;Tom Hirschowitz ;Ambroise Lafont

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

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

文章 ID：255823189

文章详细全文下载
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.High-Level Signatures and Initial Semantics

作　　者：Benedikt Ahrens ;Andr{\'e} Hirschowitz ;Ambroise Lafont 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-22.doi:10.4230/LIPIcs.CSL.2018.4

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

文章 ID：230213279

文章详细全文下载
5.A CATEGORICAL FRAMEWORK FOR CONGRUENCE OF APPLICATIVE BISIMILARITY IN HIGHER-ORDER LANGUAGES

作　　者：Tom Hirschowitz ;Ambroise Lafont.

出　　处：Logical Methods in Computer Science. 2022 ;18(3):1-72.doi:10.46298/lmcs-18(3:37)2022

出版社：Technical University of Braunschweig

文章 ID：1039482111

文章详细

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

	Ambroise Lafont	4篇
	Andr Hirschowitz	2篇
	Benedikt Ahrens	2篇
	Marco Maggesi	2篇
	Tom Hirschowitz	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ambroise Lafont")))) )) ) )"

	Ambroise Lafont.	1篇
	Ambrus Kaposi	1篇
	Andr{\'e} Hirschowitz	1篇
	András Kovács	1篇

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

	2022	1篇
	2020	2篇
	2019	1篇
	2018	1篇