Tom Hirschowitz

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 24

Top Topics

Operational Semantics

Top Venues

Log. Methods Comput. Sci.

Publications

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. Log. Methods Comput. Sci. 20 (1) (2024)
Tom Hirschowitz, Ambroise Lafont
A more general categorical framework for congruence of applicative bisimilarity. CoRR (2023)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. CoRR (2022)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. FoSSaCS (2022)
Tom Hirschowitz, Ambroise Lafont
A categorical framework for congruence of applicative bisimilarity in higher-order languages. Log. Methods Comput. Sci. 18 (3) (2022)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
Modules over monads and operational semantics (expanded version). Log. Methods Comput. Sci. 18 (3) (2022)
Tom Hirschowitz, Ambroise Lafont
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on. CoRR (2022)
Tom Hirschowitz, Ambroise Lafont
A categorical framework for congruence of applicative bisimilarity in higher-order languages. CoRR (2021)
Peio Borthelle, Tom Hirschowitz, Ambroise Lafont
A Cellular Howe Theorem. LICS (2020)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
Modules over monads and operational semantics. CoRR (2020)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
Modules over Monads and Operational Semantics. FSCD (2020)
Tom Hirschowitz
Cellular Monads from Positive GSOS Specifications. EXPRESS/SOS (2019)
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
Template Games, Simple Games, and Day Convolution. FSCD (2019)
Tom Hirschowitz
Familial monads and structural operational semantics. Proc. ACM Program. Lang. 3 (POPL) (2019)
Richard Garner, Tom Hirschowitz
Shapely monads and analytic functors. J. Log. Comput. 28 (1) (2018)
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
Simple game semantics and Day convolution. CoRR (2018)
Clovis Eberhart, Tom Hirschowitz
What's in a game?: A theory of game models. LICS (2018)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
An intensionally fully-abstract sheaf model for π (expanded version). Log. Methods Comput. Sci. 13 (4) (2017)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
An intensionally fully-abstract sheaf model for π (expanded version). CoRR (2017)
Clovis Eberhart, Tom Hirschowitz
What's in a game? A theory of game models. CoRR (2017)
Clovis Eberhart, Tom Hirschowitz
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. CALCO (2017)
Richard Garner, Tom Hirschowitz
Shapely monads and analytic functors. CoRR (2015)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
An Intensionally Fully-abstract Sheaf Model for pi. CALCO (2015)
André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
Wild omega-Categories for the Homotopy Hypothesis in Type Theory. TLCA (2015)
Tom Hirschowitz
Full abstraction for fair testing in CCS (expanded version). Log. Methods Comput. Sci. 10 (4) (2014)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
Fully-abstract concurrent games for pi. CoRR (2013)
Tom Hirschowitz
Full Abstraction for Fair Testing in CCS. CALCO (2013)
Tom Hirschowitz
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting. Log. Methods Comput. Sci. 9 (3) (2013)
Tom Hirschowitz
Full abstraction for fair testing in CCS CoRR (2013)
Tom Hirschowitz, Damien Pous
Innocent Strategies as Presheaves and Interactive Equivalences for CCS. Sci. Ann. Comput. Sci. 22 (1) (2012)
Tom Hirschowitz, Damien Pous
Strategies as sheaves and interactive equivalences for CCS CoRR (2011)
Tom Hirschowitz, Damien Pous
Innocent strategies as presheaves and interactive equivalences for CCS ICE (2011)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR (2009)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Variable binding, symmetric monoidal closed theories, and bigraphs CoRR (2009)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Contraction-free proofs and finitary games for Linear Logic CoRR (2009)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR (2009)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Contraction-free Proofs and Finitary Games for Linear Logic. MFPS (2009)
Tom Hirschowitz, Xavier Leroy, J. B. Wells
Compilation of extended recursion in call-by-value functional languages. High. Order Symb. Comput. 22 (1) (2009)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the pi-calculus. Electron. Notes Theor. Comput. Sci. 241 (2009)
Tom Hirschowitz, Xavier Leroy, J. B. Wells
Compilation of extended recursion in call-by-value functional languages CoRR (2009)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Graphical Presentations of Symmetric Monoidal Closed Theories CoRR (2008)
Tom Hirschowitz, Aurélien Pardon
Binding bigraphs as symmetric monoidal closed theories CoRR (2008)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Topological Observations on Multiplicative Additive Linear Logic CoRR (2008)
Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
A Theory for Game Theories. FSTTCS (2007)
Tom Hirschowitz, Xavier Leroy
Mixin modules in a call-by-value setting. ACM Trans. Program. Lang. Syst. 27 (5) (2005)
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE (2005)
Tom Hirschowitz
Rigid Mixin Modules. FLOPS (2004)
Tom Hirschowitz, Xavier Leroy, J. B. Wells
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. ESOP (2004)
Tom Hirschowitz, Xavier Leroy, J. B. Wells
Compilation of extended recursion in call-by-value functional languages. PPDP (2003)
Tom Hirschowitz, Xavier Leroy
Mixin Modules in a Call-by-Value Setting. ESOP (2002)