André Hirschowitz

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 14

Top Topics

Signature Verification

Modular Structure

Operational Semantics

Top Venues

Log. Methods Comput. Sci.

Proc. ACM Program. Lang.

Publications

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. Log. Methods Comput. Sci. 20 (1) (2024)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. CoRR (2022)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. FoSSaCS (2022)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
Modules over monads and operational semantics (expanded version). Log. Methods Comput. Sci. 18 (3) (2022)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Presentable signatures and initial semantics. Log. Methods Comput. Sci. 17 (2) (2021)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
Modules over monads and operational semantics. CoRR (2020)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Reduction monads and their signatures. Proc. ACM Program. Lang. 4 (POPL) (2020)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
Modules over Monads and Operational Semantics. FSCD (2020)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Modular Specification of Monads Through Higher-Order Presentations. FSCD (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Reduction Monads and Their Signatures. CoRR (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Modular specification of monads through higher-order presentations. CoRR (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
High-level signatures and initial semantics. CoRR (2018)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
High-Level Signatures and Initial Semantics. CSL (2018)
André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
Wild omega-Categories for the Homotopy Hypothesis in Type Theory. TLCA (2015)
André Hirschowitz, Marco Maggesi
Initial Semantics for Strengthened Signatures FICS (2012)
André Hirschowitz, Marco Maggesi
Nested Abstract Syntax in Coq. J. Autom. Reason. 49 (3) (2012)
André Hirschowitz, Marco Maggesi
Modules over monads and initial semantics. Inf. Comput. 208 (5) (2010)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Contraction-free proofs and finitary games for Linear Logic CoRR (2009)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Contraction-free Proofs and Finitary Games for Linear Logic. MFPS (2009)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Topological Observations on Multiplicative Additive Linear Logic CoRR (2008)
Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
A Theory for Game Theories. FSTTCS (2007)
André Hirschowitz, Marco Maggesi
Modules over Monads and Linearity. WoLLIC (2007)
André Hirschowitz, Marco Maggesi
The algebraicity of the lambda-calculus CoRR (2007)
André Hirschowitz, Marco Maggesi
Modules over Monads and Linearity CoRR (2006)
Joëlle Despeyroux, Amy P. Felty, André Hirschowitz
Higher-Order Abstract Syntax in Coq. TLCA (1995)
Joëlle Despeyroux, André Hirschowitz
Higher-Order Abstract Syntax with Induction in Coq. LPAR (1994)