Tom Hirschowitz

Publications




Publications HAL de Tom, Hirschowitz

2017

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.archives-ouvertes.fr/hal-01527171/file/yoneda-hal.pdf BibTex

2016

Accreditation to supervise research

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.archives-ouvertes.fr/tel-01400666/file/hdr.pdf BibTex

Preprints, Working Papers, ...

titre
Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics
auteur
Clovis Eberhart, Tom Hirschowitz
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01372582/file/article2.pdf BibTex

2015

Journal articles

titre
An Intensionally Fully-abstract Sheaf Model for pi
auteur
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
article
Leibniz International Proceedings in Informatics (LIPIcs), 2015, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 35, pp.86--100. <http://drops.dagstuhl.de/opus/volltexte/2015/5528>. <10.4230/LIPIcs.CALCO.2015.86>
DOI
DOI : 10.4230/LIPIcs.CALCO.2015.86
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00873626/file/7.pdf BibTex
titre
Wild omega-Categories for the Homotopy Hypothesis in Type Theory
auteur
André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
article
Leibniz International Proceedings in Informatics (LIPIcs), 2015, Typed Lambda Calculi and Applications, 38, pp.226-240. <10.4230/LIPIcs.TLCA.2015.226>
DOI
DOI : 10.4230/LIPIcs.TLCA.2015.226
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Shapely monads and analytic functors
auteur
Richard Garner, Tom Hirschowitz
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01246365/file/nonquotienting-maps.pdf BibTex

2014

Journal articles

titre
Full abstraction for fair testing in CCS (expanded version)
auteur
Tom Hirschowitz
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 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.archives-ouvertes.fr/hal-00869469/file/dcats-long.pdf BibTex

2013

Journal articles

titre
Full abstraction for fair testing in CCS
auteur
Tom Hirschowitz
article
Lecture notes in computer science, springer, 2013, 8089, 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.archives-ouvertes.fr/hal-00826274/file/main.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.archives-ouvertes.fr/hal-00761352/file/dedou.pdf BibTex
titre
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
auteur
Tom Hirschowitz
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 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.archives-ouvertes.fr/hal-00540205/file/macy.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, Alexandru Ioan Cuza University Publishing House, 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.archives-ouvertes.fr/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. 59, pp.2-24, 2011, EPTCS. <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, Springer Verlag, 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.archives-ouvertes.fr/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
Bravetti, Mario; Zavattaro, Gianluigi. CONCUR 2009, 2009, Bologna, Italy. Springer, 5710, pp.321-337, 2009, Lecture Notes in Computer Science. <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.archives-ouvertes.fr/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. Elsevier, 249, pp.287-305, 2009, Electronic Notes in Theoretical Computer Science. <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.archives-ouvertes.fr/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. Elsevier, 241, pp.85 - 100, 2009, Electronic Notes in Theoretical Computer Science. <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.archives-ouvertes.fr/hal-00400159/file/edmpc.pdf BibTex

Preprints, Working Papers, ...

titre
Binding bigraphs as symmetric monoidal closed theories
auteur
Tom Hirschowitz, Aurélien Pardon
article
17 pages, uses Paul Taylor's diagrams. 2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00333753/file/bigraphs.pdf BibTex
titre
Graphical Presentations of Symmetric Monoidal Closed Theories
auteur
Richard Garner, Tom Hirschowitz, Aurélien Pardon
article
Uses Paul Taylor's diagrams. 2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00333750/file/smcc.pdf BibTex
titre
Topological Observations on Multiplicative Additive Linear Logic
auteur
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
article
12 pages in two columns, submitted to POPL '09. Uses Paul Taylor's diagrams. 2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Springer, 4855, pp.192-203, 2007, Lecture Notes in Computer Science. <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.archives-ouvertes.fr/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), ACM, 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.archives-ouvertes.fr/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. Springer, 3676, pp.389-404, 2005, Lecture Notes in Computer Science. <10.1007/11561347_26>
DOI
DOI : 10.1007/11561347_26
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Springer, 2986, pp.64-78, 2004, Lecture Notes in Computer Science. <10.1007/b96702>
DOI
DOI : 10.1007/b96702
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310123/file/cbv-mixins.pdf BibTex
titre
Rigid Mixin Modules
auteur
Tom Hirschowitz
article
Functional and Logic Programming Symposium (FLOPS), 2004, Nara, Japan. Springer, 2998, pp.214-228, 2004, Lecture Notes in Computer Science. <10.1007/b96926>
DOI
DOI : 10.1007/b96926
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. ACM, pp.160--171, 2003, <10.1145/888251.888267>
DOI
DOI : 10.1145/888251.888267
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.inria.fr/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. Springer, 2305, pp.207-236, 2002, Lecture Notes in Computer Science. <10.1007/3-540-45927-8>
DOI
DOI : 10.1007/3-540-45927-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.inria.fr/inria-00071903/file/RR-4682.pdf BibTex
3/2/14: Cette page change de couleurs en réaction à des rumeurs inquiétantes faisant état d'une diminution regrettable de la quantité d'orange et de violet dans la recherche française en informatique fondamentale.