Publications HAL de André,HIRSCHOWITZ du labo/EPI jad

2020

Article dans une revue

titre
Reduction Monads and Their Signatures
auteur
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
article
Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-29. ⟨10.1145/3371099⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02380682/file/main.pdf BibTex

2019

Communication dans un congrès

titre
Modular specification of monads through higher-order presentations
auteur
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
article
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.1-16, ⟨10.4230/LIPIcs.FSCD.2019.6⟩
Accès au bibtex
https://arxiv.org/pdf/1903.00922 BibTex

2018

Communication dans un congrès

titre
High-level signatures and initial semantics
auteur
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
article
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.CSL.2018.4⟩
Accès au bibtex
https://arxiv.org/pdf/1805.03740 BibTex

2015

Communication dans un congrès

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⟩
Accès au bibtex
BibTex

2013

Article dans une revue

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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761352/file/dedou.pdf BibTex

2012

Article dans une revue

titre
Nested Abstract Syntax in Coq
auteur
André Hirschowitz, Marco Maggesi
article
Journal of Automated Reasoning, Springer Verlag, 2012, 49 (3), pp.409-429. ⟨10.1007/s10817-010-9207-9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01294214/file/math-nestedAS%281%29.pdf BibTex

Pré-publication, Document de travail

titre
Initial Semantics for Strengthened Signatures
auteur
André Hirschowitz, Marco Maggesi
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00762649/file/strengthened.pdf BibTex

2009

Communication dans un congrès

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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00387452/file/fulll.pdf BibTex

2008

Pré-publication, Document de travail

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

2007

Communication dans un congrès

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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310542/file/catgames-finale.pdf BibTex