2024
Article dans une revue
- 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⟩
- Accès au bibtex
-
2022
Communication dans un congrès
- 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
-
2021
Article dans une revue
- titre
- Presentable signatures and initial semantics
- auteur
- Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
- article
- Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(2:17)2021⟩
- Accès au bibtex
-
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, 2020, pp.1-29. ⟨10.1145/3371099⟩
- Accès au texte intégral et 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-