Higher-Order Abstract Syntax with Induction in Coq. - Joëlle Despeyroux; André Hirschowitz (LPAR, 1994)

Higher-Order Abstract Syntax in Coq. - Joëlle Despeyroux; Amy P. Felty; André Hirschowitz (TLCA, 1995)

A Theory for Game Theories. - Michel Hirschowitz; André Hirschowitz; Tom Hirschowitz (FSTTCS, 2007)

Modules over Monads and Linearity. - André Hirschowitz; Marco Maggesi (WoLLIC, 2007)

The algebraicity of the lambda-calculus - André Hirschowitz; Marco Maggesi (CoRR, 2007)

Topological Observations on Multiplicative Additive Linear Logic - André Hirschowitz; Michel Hirschowitz; Tom Hirschowitz (CoRR, 2008)

Contraction-free Proofs and Finitary Games for Linear Logic. - André Hirschowitz; Michel Hirschowitz; Tom Hirschowitz (MFPS, 2009)

Modules over monads and initial semantics. - André Hirschowitz; Marco Maggesi (Inf. Comput., 2010)

Initial Semantics for Strengthened Signatures - André Hirschowitz; Marco Maggesi (FICS, 2012)

Nested Abstract Syntax in Coq. - André Hirschowitz; Marco Maggesi (J. Autom. Reason., 2012)

Wild omega-Categories for the Homotopy Hypothesis in Type Theory. - André Hirschowitz; Tom Hirschowitz; Nicolas Tabareau (TLCA, 2015)

High-Level Signatures and Initial Semantics. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (CSL, 2018)

Modular Specification of Monads Through Higher-Order Presentations. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (FSCD, 2019)

Modules over Monads and Operational Semantics. - André Hirschowitz; Tom Hirschowitz; Ambroise Lafont (FSCD, 2020)

Reduction monads and their signatures. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (Proc. ACM Program. Lang., 2020)

Presentable signatures and initial semantics. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (Log. Methods Comput. Sci., 2021)

Modules over monads and operational semantics (expanded version). - André Hirschowitz; Tom Hirschowitz; Ambroise Lafont (Log. Methods Comput. Sci., 2022)

Variable binding and substitution for (nameless) dummies. - André Hirschowitz; Tom Hirschowitz; Ambroise Lafont; Marco Maggesi (Log. Methods Comput. Sci., 2024)