1.Innocent strategies as presheaves and interactive equivalences for CCS

作　　者：Tom Hirschowitz ;Damien Pous

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;59:2-24.doi:10.4204/EPTCS.59.2

出版社：Open Publishing Association

文章 ID：83120213

文章详细全文下载

2.Template Games, Simple Games, and Day Convolution

作　　者：Clovis Eberhart ;Tom Hirschowitz ;Alexis Laouar

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

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

文章 ID：238892303

文章详细全文下载

3.Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics

作　　者：Clovis Eberhart ;Tom Hirschowitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:10:1-10:16.doi:10.4230/LIPIcs.CALCO.2017.10

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

文章 ID：205510179

文章详细全文下载

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

文章详细全文下载

5.Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

作　　者：Tom Hirschowitz

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

出版社：Technical University of Braunschweig

文章 ID：264692015

文章详细全文下载

6.Full abstraction for fair testing in CCS (expanded version)

作　　者：Tom Hirschowitz

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

出版社：Technical University of Braunschweig

文章 ID：264692165

文章详细全文下载

7.Wild omega-Categories for the Homotopy Hypothesis in Type Theory

作　　者：Andr{\'e} Hirschowitz ;Tom Hirschowitz ;Nicolas Tabareau

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:226-240.doi:10.4230/LIPIcs.TLCA.2015.226

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

文章 ID：186846867

文章详细全文下载

8.An Intensionally Fully-abstract Sheaf Model for pi

作　　者：Clovis Eberhart ;Tom Hirschowitz ;Thomas Seiller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:86-100.doi:10.4230/LIPIcs.CALCO.2015.86

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

文章 ID：186847096

文章详细全文下载

9.Cellular Monads from Positive GSOS Specifications

作　　者：Tom Hirschowitz

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;300:1-18.doi:10.4204/EPTCS.300.1

出版社：Open Publishing Association

文章 ID：1034315607

文章详细

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

文章详细

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

	德国	8篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Tom Hirschowitz")))) )) ) )"

	Tom Hirschowitz	10篇
	Clovis Eberhart	3篇
	Alexis Laouar	1篇
	Ambroise Lafont	1篇
	Ambroise Lafont.	1篇

	Andr Hirschowitz	1篇
	Andr{\'e} Hirschowitz	1篇
	Damien Pous	1篇
	Nicolas Tabareau	1篇
	Thomas Seiller	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	Logical Methods in Computer Science	3篇
	Electronic Proceedings in Theoretical Computer Science	2篇