1.On the Expressivity of Linear Recursion Schemes

作　　者：Pierre Clairambault ;Andrzej S. Murawski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.50

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

文章 ID：238892000

文章详细全文下载

2.Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or

作　　者：Simon Castellan ;Pierre Clairambault ;Glynn Winskel

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

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

文章 ID：200735121

文章详细全文下载

3.Distributed Strategies Made Easy

作　　者：Simon Castellan ;Pierre Clairambault ;Glynn Winskel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:81:1-81:13.doi:10.4230/LIPIcs.MFCS.2017.81

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

文章 ID：205510152

文章详细全文下载

4.Isomorphisms of types in the presence of higher-order references (extended version)

作　　者：Pierre Clairambault

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

出版社：Technical University of Braunschweig

文章 ID：264691979

文章详细全文下载

5.Bounding linear head reduction and visible interaction through skeletons

作　　者：Pierre Clairambault

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

出版社：Technical University of Braunschweig

文章 ID：264692229

文章详细全文下载

6.Böhm Trees as Higher-Order Recursive Schemes

作　　者：Pierre Clairambault ;Andrzej S. Murawski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:91-102.doi:10.4230/LIPIcs.FSTTCS.2013.91

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

文章 ID：186846399

文章详细全文下载

7.Undecidability of Equality in the Free Locally Cartesian Closed Category

作　　者：Simon Castellan ;Pierre Clairambault ;Peter Dybjer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:138-152.doi:10.4230/LIPIcs.TLCA.2015.138

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

文章 ID：186846861

文章详细全文下载

8.Causality vs. Interleavings in Concurrent Game Semantics

作　　者：Simon Castellan ;Pierre Clairambault

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:32:1-32:14.doi:10.4230/LIPIcs.CONCUR.2016.32

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

文章 ID：186847590

文章详细全文下载

9.The True Concurrency of Herbrand's Theorem

作　　者：Aurore Alcolei ;Pierre Clairambault ;Martin Hyland 等

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

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

文章 ID：230213280

文章详细全文下载

10.Fully Abstract Models of the Probabilistic lambda-calculus

作　　者：Pierre Clairambault ;Hugo Paquet

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

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

文章 ID：230213291

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pierre Clairambault")))) )) ) )"

	Pierre Clairambault	10篇
	Simon Castellan	4篇
	Glynn Winskel	3篇
	Andrzej S. Murawski	2篇
	Aurore Alcolei	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Logical Methods in Computer Science	2篇