 | 2009 |
|---|
| 10 |       | André Hirschowitz,
Michel Hirschowitz,
Tom Hirschowitz:
Contraction-free proofs and finitary games for Linear Logic
CoRR abs/0905.4064: (2009) |
| 9 | | André Hirschowitz,
Michel Hirschowitz,
Tom Hirschowitz:
Contraction-free Proofs and Finitary Games for Linear Logic.
Electr. Notes Theor. Comput. Sci. 249: 287-305 (2009) |
| 2008 |
|---|
| 8 | | André Hirschowitz,
Michel Hirschowitz,
Tom Hirschowitz:
Topological Observations on Multiplicative Additive Linear Logic
CoRR abs/0807.2636: (2008) |
| 2007 |
|---|
| 7 | | Michel Hirschowitz,
André Hirschowitz,
Tom Hirschowitz:
A Theory for Game Theories.
FSTTCS 2007: 192-203 |
| 6 | | André Hirschowitz,
Marco Maggesi:
Modules over Monads and Linearity.
WoLLIC 2007: 218-237 |
| 5 | | André Hirschowitz,
Marco Maggesi:
The algebraicity of the lambda-calculus
CoRR abs/0704.2900: (2007) |
| 2006 |
|---|
| 4 | | André Hirschowitz,
Marco Maggesi:
Modules over Monads and Linearity
CoRR abs/cs/0608051: (2006) |
| 1999 |
|---|
| 3 |  | Yves Bertot,
Gilles Dowek,
André Hirschowitz,
C. Paulin,
Laurent Théry:
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings
Springer 1999 |
| 1995 |
|---|
| 2 | | Joëlle Despeyroux,
Amy P. Felty,
André Hirschowitz:
Higher-Order Abstract Syntax in Coq.
TLCA 1995: 124-138 |
| 1994 |
|---|
| 1 | | Joëlle Despeyroux,
André Hirschowitz:
Higher-Order Abstract Syntax with Induction in Coq.
LPAR 1994: 159-173 |
