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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
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
-
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
-
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
-
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
-
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
-
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
-
Preprints, Working Papers, ...
- titre
- Justified sequences in string diagrams
- auteur
- Clovis Eberhart, Tom Hirschowitz
- article
- 2016
- Accès au texte intégral et 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
-
- 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
-
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
-
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
-
- 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
-
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
-
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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
- titre
- Binding bigraphs as symmetric monoidal closed theories
- auteur
- Tom Hirschowitz, Aurélien Pardon
- article
- 2008
- Accès au texte intégral et 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
-
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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
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
-
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
-