André Hirschowitz

27 papers B 6C 1Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Variable binding and substitution for (nameless) dummies.
Log. Methods Comput. Sci.
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2022 J jnl
Modules over monads and operational semantics (expanded version).
Log. Methods Comput. Sci.
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2022 B conf
Variable binding and substitution for (nameless) dummies.
FoSSaCS
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2022 J jnl
Variable binding and substitution for (nameless) dummies.
CoRR
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2021 J jnl
Presentable signatures and initial semantics.
Log. Methods Comput. Sci.
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2020 B conf
Modules over Monads and Operational Semantics.
FSCD
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2020 J jnl
Modules over monads and operational semantics.
CoRR
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2020 J jnl
Reduction monads and their signatures.
Proc. ACM Program. Lang.
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 B conf
Modular Specification of Monads Through Higher-Order Presentations.
FSCD
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 J jnl
Modular specification of monads through higher-order presentations.
CoRR
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 J jnl
Reduction Monads and Their Signatures.
CoRR
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2018 B conf
High-Level Signatures and Initial Semantics.
CSL
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2018 J jnl
High-level signatures and initial semantics.
CoRR
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2015 — conf
Wild omega-Categories for the Homotopy Hypothesis in Type Theory.
TLCA
André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
2012 — conf
Initial Semantics for Strengthened Signatures
FICS
André Hirschowitz, Marco Maggesi
2012 J jnl
Nested Abstract Syntax in Coq.
J. Autom. Reason.
André Hirschowitz, Marco Maggesi
2010 J jnl
Modules over monads and initial semantics.
Inf. Comput.
André Hirschowitz, Marco Maggesi
2009 B conf
Contraction-free Proofs and Finitary Games for Linear Logic.
MFPS
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
2009 J jnl
Contraction-free proofs and finitary games for Linear Logic
CoRR
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
2008 J jnl
Topological Observations on Multiplicative Additive Linear Logic
CoRR
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
2007 — conf
A Theory for Game Theories.
FSTTCS
Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
2007 C conf
Modules over Monads and Linearity.
WoLLIC
André Hirschowitz, Marco Maggesi
2007 J jnl
The algebraicity of the lambda-calculus
CoRR
André Hirschowitz, Marco Maggesi
2006 J jnl
Modules over Monads and Linearity
CoRR
André Hirschowitz, Marco Maggesi
1999 — ed.
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings
TPHOLs
Yves Bertot, Gilles Dowek, André Hirschowitz, Christine Paulin-Mohring, Laurent Théry
1995 — conf
Higher-Order Abstract Syntax in Coq.
TLCA
Joëlle Despeyroux, Amy P. Felty, André Hirschowitz
1994 B conf
Higher-Order Abstract Syntax with Induction in Coq.
LPAR
Joëlle Despeyroux, André Hirschowitz