Tom Hirschowitz

54 papers A* 2A 2B 9C 1Misc 1Journal 30Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An abstract, certified account of operational game semantics. ESOP (1) Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski
2025	—	`conf`	Artifact Report: an Abstract, Certified Account of Operational Game Semantics. ESOP (1) Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski
2024	J	`jnl`	Variable binding and substitution for (nameless) dummies. Log. Methods Comput. Sci. André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2023	J	`jnl`	A more general categorical framework for congruence of applicative bisimilarity. CoRR Tom Hirschowitz, Ambroise Lafont
2022	J	`jnl`	A categorical framework for congruence of applicative bisimilarity in higher-order languages. Log. Methods Comput. Sci. Tom Hirschowitz, Ambroise Lafont
2022	J	`jnl`	A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on. CoRR Tom Hirschowitz, Ambroise Lafont
2022	J	`jnl`	Modules over monads and operational semantics (expanded version). Log. Methods Comput. Sci. André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2022	B	`conf`	Variable binding and substitution for (nameless) dummies. FoSSaCS André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2022	J	`jnl`	Variable binding and substitution for (nameless) dummies. CoRR André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2021	J	`jnl`	A categorical framework for congruence of applicative bisimilarity in higher-order languages. CoRR Tom Hirschowitz, Ambroise Lafont
2020	A*	`conf`	A Cellular Howe Theorem. LICS Peio Borthelle, Tom Hirschowitz, Ambroise Lafont
2020	B	`conf`	Modules over Monads and Operational Semantics. FSCD André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2020	J	`jnl`	Modules over monads and operational semantics. CoRR André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2019	—	`conf`	Cellular Monads from Positive GSOS Specifications. EXPRESS/SOS Tom Hirschowitz
2019	J	`jnl`	Familial monads and structural operational semantics. Proc. ACM Program. Lang. Tom Hirschowitz
2019	B	`conf`	Template Games, Simple Games, and Day Convolution. FSCD Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
2018	J	`jnl`	Shapely monads and analytic functors. J. Log. Comput. Richard Garner, Tom Hirschowitz
2018	J	`jnl`	Simple game semantics and Day convolution. CoRR Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
2018	A*	`conf`	What's in a game?: A theory of game models. LICS Clovis Eberhart, Tom Hirschowitz
2017	J	`jnl`	An intensionally fully-abstract sheaf model for π (expanded version). CoRR Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
2017	J	`jnl`	An intensionally fully-abstract sheaf model for π (expanded version). Log. Methods Comput. Sci. Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
2017	B	`conf`	Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. CALCO Clovis Eberhart, Tom Hirschowitz
2017	J	`jnl`	What's in a game? A theory of game models. CoRR Clovis Eberhart, Tom Hirschowitz
2016	—	`book`	Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation. Tom Hirschowitz
2015	B	`conf`	An Intensionally Fully-abstract Sheaf Model for pi. CALCO Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
2015	J	`jnl`	Shapely monads and analytic functors. CoRR Richard Garner, Tom Hirschowitz
2015	—	`conf`	Wild omega-Categories for the Homotopy Hypothesis in Type Theory. TLCA André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
2014	J	`jnl`	Full abstraction for fair testing in CCS (expanded version). Log. Methods Comput. Sci. Tom Hirschowitz
2013	J	`jnl`	Cartesian closed 2-categories and permutation equivalence in higher-order rewriting. Log. Methods Comput. Sci. Tom Hirschowitz
2013	B	`conf`	Full Abstraction for Fair Testing in CCS. CALCO Tom Hirschowitz
2013	J	`jnl`	Full abstraction for fair testing in CCS CoRR Tom Hirschowitz
2013	J	`jnl`	Fully-abstract concurrent games for pi. CoRR Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
2012	J	`jnl`	Innocent Strategies as Presheaves and Interactive Equivalences for CCS. Sci. Ann. Comput. Sci. Tom Hirschowitz, Damien Pous
2011	—	`conf`	Innocent strategies as presheaves and interactive equivalences for CCS ICE Tom Hirschowitz, Damien Pous
2011	J	`jnl`	Strategies as sheaves and interactive equivalences for CCS CoRR Tom Hirschowitz, Damien Pous
2009	J	`jnl`	Compilation of extended recursion in call-by-value functional languages CoRR Tom Hirschowitz, Xavier Leroy, J. B. Wells
2009	J	`jnl`	Compilation of extended recursion in call-by-value functional languages. High. Order Symb. Comput. Tom Hirschowitz, Xavier Leroy, J. B. Wells
2009	B	`conf`	Contraction-free Proofs and Finitary Games for Linear Logic. MFPS André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
2009	J	`jnl`	Contraction-free proofs and finitary games for Linear Logic CoRR André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
2009	J	`jnl`	Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
2009	—	`ed.`	Proceedings Types for Proofs and Programs, Revised Selected Papers, TYPES 2009, Aussois, France, 12-15th May 2009. TYPES Tom Hirschowitz
2009	B	`conf`	Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR Richard Garner, Tom Hirschowitz, Aurélien Pardon
2009	J	`jnl`	Variable binding, symmetric monoidal closed theories, and bigraphs CoRR Richard Garner, Tom Hirschowitz, Aurélien Pardon
2008	J	`jnl`	Binding bigraphs as symmetric monoidal closed theories CoRR Tom Hirschowitz, Aurélien Pardon
2008	—	`conf`	Encapsulation and Dynamic Modularity in the pi-calculus. PLACES@DisCoTec Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
2008	J	`jnl`	Graphical Presentations of Symmetric Monoidal Closed Theories CoRR Richard Garner, Tom Hirschowitz, Aurélien Pardon
2008	J	`jnl`	Topological Observations on Multiplicative Additive Linear Logic CoRR André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
2007	—	`conf`	A Theory for Game Theories. FSTTCS Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
2005	B	`conf`	Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
2005	J	`jnl`	Mixin modules in a call-by-value setting. ACM Trans. Program. Lang. Syst. Tom Hirschowitz, Xavier Leroy
2004	A	`conf`	Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. ESOP Tom Hirschowitz, Xavier Leroy, J. B. Wells
2004	Misc	`conf`	Rigid Mixin Modules. FLOPS Tom Hirschowitz
2003	C	`conf`	Compilation of extended recursion in call-by-value functional languages. PPDP Tom Hirschowitz, Xavier Leroy, J. B. Wells
2002	A	`conf`	Mixin Modules in a Call-by-Value Setting. ESOP Tom Hirschowitz, Xavier Leroy