Publications HAL

2024

Journal articles

titre
Variable binding and substitution for (nameless) dummies
auteur
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
article
Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:18)2024⟩
DOI
DOI : 10.46298/lmcs-20(1:18)2024
Accès au bibtex
https://arxiv.org/pdf/2209.02614 BibTex

Preprints, Working Papers, ...

titre
An abstract, certified account of operational game semantics
auteur
Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04583895/file/ogs.pdf BibTex

2023

Preprints, Working Papers, ...

titre
A more general categorical framework for congruence of applicative bisimilarity
auteur
Tom Hirschowitz, Ambroise Lafont
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03999584/file/wow.pdf BibTex

2022

Journal articles

titre
A categorical framework for congruence of applicative bisimilarity in higher-order languages
auteur
Tom Hirschowitz, Ambroise Lafont
article
Logical Methods in Computer Science, 2022, 18 (3), pp.37
Accès au texte intégral et bibtex
https://hal.science/hal-02966439/file/brouillon.pdf BibTex
titre
Modules over monads and operational semantics (expanded version)
auteur
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
article
Logical Methods in Computer Science, 2022, 18 (3)
Accès au texte intégral et bibtex
https://hal.science/hal-03447952/file/opmonades.pdf BibTex

Conference papers

titre
Variable binding and substitution for (nameless) dummies
auteur
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
article
25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022), Apr 2022, Munich, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-03547002/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on
auteur
Tom Hirschowitz, Ambroise Lafont
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03633933/file/conf.pdf BibTex

2020

Conference papers

titre
A Cellular Howe Theorem
auteur
Peio Borthelle, Tom Hirschowitz, Ambroise Lafont
article
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.273-286, ⟨10.1145/3373718.3394738⟩
DOI
DOI : 10.1145/3373718.3394738
Accès au texte intégral et bibtex
https://hal.science/hal-02880876/file/main.pdf BibTex
titre
Modules over monads and operational semantics
auteur
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
article
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France. pp.12:1--12:23, ⟨10.4230/LIPIcs.FSCD.2020.12⟩
DOI
DOI : 10.4230/LIPIcs.FSCD.2020.12
Accès au texte intégral et bibtex
https://hal.science/hal-02338144/file/LIPIcs-FSCD-2020-12.pdf BibTex

2019

Journal articles

titre
Familial Monads and Structural Operational Semantics
auteur
Tom Hirschowitz
article
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-28. ⟨10.1145/3290334⟩
DOI
DOI : 10.1145/3290334
Accès au texte intégral et bibtex
https://hal.science/hal-01815328/file/popl19main-p40-p-19591b3-39308-final.pdf BibTex
titre
Fibred Pseudo Double Categories for Game Semantics
auteur
Clovis Eberhart, Tom Hirschowitz
article
Theory and Applications of Categories, 2019, 34, pp.514 - 572
Accès au texte intégral et bibtex
https://hal.science/hal-02274815/file/34-19.pdf BibTex

Conference papers

titre
Cellular Monads from Positive GSOS Specifications
auteur
Tom Hirschowitz
article
26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019, Amsterdam, Netherlands. pp.1-18, ⟨10.4204/EPTCS.300.1⟩
DOI
DOI : 10.4204/EPTCS.300.1
Accès au texte intégral et bibtex
https://hal.science/hal-02273790/file/EXPRESSSOS2019.1.pdf BibTex
titre
Template Games, Simple Games, and Day Convolution
auteur
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
article
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), 2019, Dortmund, Germany. pp.16:1--16:19, ⟨10.4230/LIPIcs.FSCD.2019.16⟩
DOI
DOI : 10.4230/LIPIcs.FSCD.2019.16
Accès au texte intégral et bibtex
https://hal.science/hal-01897309/file/LIPIcs-FSCD-2019-16.pdf BibTex

2018

Journal articles

titre
Shapely monads and analytic functors
auteur
Richard Garner, Tom Hirschowitz
article
Journal of Logic and Computation, 2018, 28 (1), pp.33-83. ⟨10.1093/logcom/exx029⟩
DOI
DOI : 10.1093/logcom/exx029
Accès au texte intégral et bibtex
https://hal.science/hal-01246365/file/nonquotienting-maps.pdf BibTex

Conference papers

titre
What's in a game? A theory of game models
auteur
Clovis Eberhart, Tom Hirschowitz
article
LICS, 2018, Oxford, United Kingdom. pp.374-383, ⟨10.1145/3209108.3209114⟩
DOI
DOI : 10.1145/3209108.3209114
Accès au texte intégral et bibtex
https://hal.science/hal-01634162/file/compo-lics.pdf BibTex

2017

Journal articles

titre
An intensionally fully-abstract sheaf model for pi (expanded version)
auteur
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
article
Logical Methods in Computer Science, 2017, 13 (4), pp.9. ⟨10.23638/LMCS-13(4:9)2017⟩
DOI
DOI : 10.23638/LMCS-13(4:9)2017
Accès au texte intégral et bibtex
https://hal.science/hal-01609945/file/pilayground.pdf BibTex

Conference papers

titre
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics
auteur
Clovis Eberhart, Tom Hirschowitz
article
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017, Ljubljana, Slovenia. pp.10, ⟨10.4230/LIPIcs.CALCO.2017.10⟩
DOI
DOI : 10.4230/LIPIcs.CALCO.2017.10
Accès au texte intégral et bibtex
https://hal.science/hal-01715405/file/LIPIcs-CALCO-2017-10.pdf BibTex

Preprints, Working Papers, ...

titre
Game semantics as a singular functor, and definability as geometric realisation
auteur
Clovis Eberhart, Tom Hirschowitz
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01527171/file/yoneda-hal.pdf BibTex

2016

Habilitation à diriger des recherches

titre
Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation
auteur
Tom Hirschowitz
article
Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016
Accès au texte intégral et bibtex
https://hal.science/tel-01400666/file/hdr.pdf BibTex

Preprints, Working Papers, ...

titre
Justified sequences in string diagrams
auteur
Clovis Eberhart, Tom Hirschowitz
article
2016
Accès au texte intégral et bibtex
https://hal.science/hal-01372582/file/article2.pdf BibTex

2015

Conference papers

titre
Wild omega-Categories for the Homotopy Hypothesis in Type Theory
auteur
André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
article
Typed Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩
DOI
DOI : 10.4230/LIPIcs.TLCA.2015.226
Accès au bibtex
BibTex
titre
An Intensionally Fully-abstract Sheaf Model for pi
auteur
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
article
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015, Nimègue, Netherlands. pp.86--100, ⟨10.4230/LIPIcs.CALCO.2015.86⟩
DOI
DOI : 10.4230/LIPIcs.CALCO.2015.86
Accès au texte intégral et bibtex
https://hal.science/hal-00873626/file/7.pdf BibTex

2014

Journal articles

titre
Full abstraction for fair testing in CCS (expanded version)
auteur
Tom Hirschowitz
article
Logical Methods in Computer Science, 2014, 10 (4), pp.2. ⟨10.2168/LMCS-10(4:2)2014⟩
DOI
DOI : 10.2168/LMCS-10(4:2)2014
Accès au texte intégral et bibtex
https://hal.science/hal-00869469/file/dcats-long.pdf BibTex

2013

Journal articles

titre
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
auteur
Tom Hirschowitz
article
Logical Methods in Computer Science, 2013, 9 (3), pp.10. ⟨10.2168/LMCS-9(3:10)2013⟩
DOI
DOI : 10.2168/LMCS-9(3:10)2013
Accès au texte intégral et bibtex
https://hal.science/hal-00540205/file/macy.pdf BibTex
titre
Saturating directed spaces
auteur
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
article
Journal of Homotopy and Related Structures, 2013, pp.25-8. ⟨10.1007/s40062-013-0025-8⟩
DOI
DOI : 10.1007/s40062-013-0025-8
Accès au texte intégral et bibtex
https://hal.science/hal-00761352/file/dedou.pdf BibTex

Conference papers

titre
Full abstraction for fair testing in CCS
auteur
Tom Hirschowitz
article
5th Conference on Algebra and Coalgebra in Computer Science, 2013, Varsovie, France. pp.175-190, ⟨10.1007/978-3-642-40206-7_14⟩
DOI
DOI : 10.1007/978-3-642-40206-7_14
Accès au texte intégral et bibtex
https://hal.science/hal-00826274/file/main.pdf BibTex

2012

Journal articles

titre
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
auteur
Tom Hirschowitz, Damien Pous
article
Scientific Annals of Computer Science, 2012, 22 (1), pp.147-199. ⟨10.7561/SACS.2012.1.147⟩
DOI
DOI : 10.7561/SACS.2012.1.147
Accès au texte intégral et bibtex
https://hal.science/hal-00555144/file/main.pdf BibTex

2011

Conference papers

titre
Innocent strategies as presheaves and interactive equivalences for CCS
auteur
Tom Hirschowitz, Damien Pous
article
ICE, Jun 2011, Reykjavik, Iceland. pp.2-24, ⟨10.4204/EPTCS.59.2⟩
DOI
DOI : 10.4204/EPTCS.59.2
Accès au bibtex
https://arxiv.org/pdf/1108.0463 BibTex

2009

Journal articles

titre
Compilation of extended recursion in call-by-value functional languages
auteur
Tom Hirschowitz, Xavier Leroy, J. B. Wells
article
Higher-Order and Symbolic Computation, 2009, 22 (1), pp.3-66. ⟨10.1007/s10990-009-9042-z⟩
DOI
DOI : 10.1007/s10990-009-9042-z
Accès au texte intégral et bibtex
https://hal.science/hal-00359213/file/letrec.pdf BibTex

Conference papers

titre
Variable binding, symmetric monoidal closed theories, and bigraphs
auteur
Richard Garner, Tom Hirschowitz, Aurélien Pardon
article
CONCUR 2009, 2009, Bologna, Italy. pp.321-337, ⟨10.1007/978-3-642-04081-8_22⟩
DOI
DOI : 10.1007/978-3-642-04081-8_22
Accès au texte intégral et bibtex
https://hal.science/hal-00388100/file/concur.pdf BibTex
titre
Contraction-free proofs and finitary games for Linear Logic
auteur
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
article
MFPS 2009, 2009, Oxford, United Kingdom. pp.287-305, ⟨10.1016/j.entcs.2009.07.095⟩
DOI
DOI : 10.1016/j.entcs.2009.07.095
Accès au texte intégral et bibtex
https://hal.science/hal-00387452/file/fulll.pdf BibTex

2008

Conference papers

titre
Encapsulation and Dynamic Modularity in the Pi-Calculus
auteur
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
article
PLACES 2008, 2008, Oslo, Norway. pp.85 - 100, ⟨10.1016/j.entcs.2009.06.005⟩
DOI
DOI : 10.1016/j.entcs.2009.06.005
Accès au texte intégral et bibtex
https://hal.science/hal-00400159/file/edmpc.pdf BibTex

Preprints, Working Papers, ...

titre
Graphical Presentations of Symmetric Monoidal Closed Theories
auteur
Richard Garner, Tom Hirschowitz, Aurélien Pardon
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00333750/file/smcc.pdf BibTex
titre
Binding bigraphs as symmetric monoidal closed theories
auteur
Tom Hirschowitz, Aurélien Pardon
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00333753/file/bigraphs.pdf BibTex
titre
Topological Observations on Multiplicative Additive Linear Logic
auteur
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00295949/file/nase.pdf BibTex

2007

Conference papers

titre
A theory for game theories
auteur
Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
article
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007, New Delhi, India. pp.192-203, ⟨10.1007/978-3-540-77050-3⟩
DOI
DOI : 10.1007/978-3-540-77050-3
Accès au texte intégral et bibtex
https://hal.science/hal-00310542/file/catgames-finale.pdf BibTex

2005

Journal articles

titre
Mixin modules in a call-by-value setting
auteur
Tom Hirschowitz, Xavier Leroy
article
ACM Transactions on Programming Languages and Systems (TOPLAS), 2005, 27 (5), pp.857 - 881. ⟨10.1145/1086642.1086644⟩
DOI
DOI : 10.1145/1086642.1086644
Accès au texte intégral et bibtex
https://hal.science/hal-00310317/file/cmsv-long.pdf BibTex

Conference papers

titre
Component-Oriented Programming with Sharing: Containment is not Ownership
auteur
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
article
Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
DOI
DOI : 10.1007/11561347_26
Accès au texte intégral et bibtex
https://hal.science/hal-00310126/file/components_sharing.pdf BibTex

2004

Conference papers

titre
Call-by-value mixin modules: Reduction semantics, side effects, types
auteur
Tom Hirschowitz, Xavier Leroy, J. B. Wells
article
European Symposium on Programming, 2004, Barcelona, Spain. pp.64-78, ⟨10.1007/b96702⟩
DOI
DOI : 10.1007/b96702
Accès au texte intégral et bibtex
https://hal.science/hal-00310123/file/cbv-mixins.pdf BibTex
titre
Rigid Mixin Modules
auteur
Tom Hirschowitz
article
Functional and Logic Programming Symposium (FLOPS), 2004, Nara, Japan. pp.214-228, ⟨10.1007/b96926⟩
DOI
DOI : 10.1007/b96926
Accès au texte intégral et bibtex
https://hal.science/hal-00310124/file/short-mm.pdf BibTex

2003

Conference papers

titre
Compilation of extended recursion in call-by-value functional languages
auteur
Tom Hirschowitz, Xavier Leroy, J. B. Wells
article
PPDP '03, 2003, Uppsala, Sweden. pp.160--171, ⟨10.1145/888251.888267⟩
DOI
DOI : 10.1145/888251.888267
Accès au texte intégral et bibtex
https://hal.science/hal-00310121/file/compil-recursion.pdf BibTex

Reports

titre
On the implementation of recursion in call-by-value functional languages
auteur
Tom Hirschowitz, Xavier Leroy, J. B. Wells
article
[Research Report] RR-4728, INRIA. 2003
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071858/file/RR-4728.pdf BibTex

2002

Conference papers

titre
Mixin modules in a call-by-value setting
auteur
Tom Hirschowitz, Xavier Leroy
article
European Symposium on Programming, 2002, Grenoble, France. pp.207-236, ⟨10.1007/3-540-45927-8⟩
DOI
DOI : 10.1007/3-540-45927-8
Accès au texte intégral et bibtex
https://hal.science/hal-00310119/file/mixins-cbv-esop2002.pdf BibTex

Reports

titre
A reduction semantics for call-by-value mixin modules
auteur
Tom Hirschowitz, Xavier Leroy, Joe B. Wells
article
[Research Report] RR-4682, INRIA. 2002
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071903/file/RR-4682.pdf BibTex