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

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.science/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, 2012, 49 (3), pp.409-429. ⟨10.1007/s10817-010-9207-9⟩
Accès au texte intégral et bibtex
https://hal.science/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.science/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.science/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.science/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.science/hal-00310542/file/catgames-finale.pdf BibTex