André Hirschowitz

According to our database, André Hirschowitz authored at least 18 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Variable binding and substitution for (nameless) dummies.

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi

Log. Methods Comput. Sci., 2024

2022

Modules over monads and operational semantics (expanded version).

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

Log. Methods Comput. Sci., 2022

2021

Presentable signatures and initial semantics.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Log. Methods Comput. Sci., 2021

2020

Reduction monads and their signatures.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proc. ACM Program. Lang., 2020

Modules over Monads and Operational Semantics.

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Modular Specification of Monads Through Higher-Order Presentations.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

High-Level Signatures and Initial Semantics.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2015

Wild omega-Categories for the Homotopy Hypothesis in Type Theory.

André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2012

Nested Abstract Syntax in Coq.

André Hirschowitz, Marco Maggesi

J. Autom. Reason., 2012

Initial Semantics for Strengthened Signatures

André Hirschowitz, Marco Maggesi

Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

2010

Modules over monads and initial semantics.

André Hirschowitz, Marco Maggesi

Inf. Comput., 2010

2009

Contraction-free Proofs and Finitary Games for Linear Logic.

André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

2008

Topological Observations on Multiplicative Additive Linear Logic

André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz

CoRR, 2008

2007

The algebraicity of the lambda-calculus

André Hirschowitz, Marco Maggesi

CoRR, 2007

Modules over Monads and Linearity.

André Hirschowitz, Marco Maggesi

Proceedings of the Logic, 2007

A Theory for Game Theories.

Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

1995

Higher-Order Abstract Syntax in Coq.

Joëlle Despeyroux, Amy P. Felty, André Hirschowitz

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

Higher-Order Abstract Syntax with Induction in Coq.

Joëlle Despeyroux, André Hirschowitz

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994