|
Search the dblp DataBase
André Hirschowitz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Joëlle Despeyroux, André Hirschowitz
Higher-Order Abstract Syntax with Induction in Coq. [Citation Graph (0, 0)][DBLP] LPAR, 1994, pp:159-173 [Conf]
- Joëlle Despeyroux, Amy P. Felty, André Hirschowitz
Higher-Order Abstract Syntax in Coq. [Citation Graph (0, 0)][DBLP] TLCA, 1995, pp:124-138 [Conf]
- André Hirschowitz, Marco Maggesi
Modules over Monads and Linearity. [Citation Graph (0, 0)][DBLP] WoLLIC, 2007, pp:218-237 [Conf]
- André Hirschowitz, Marco Maggesi
The algebraicity of the lambda-calculus [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- André Hirschowitz, Marco Maggesi
Modules over Monads and Linearity [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
A Theory for Game Theories. [Citation Graph (, )][DBLP]
Topological Observations on Multiplicative Additive Linear Logic [Citation Graph (, )][DBLP]
Contraction-free proofs and finitary games for Linear Logic [Citation Graph (, )][DBLP]
Contraction-free Proofs and Finitary Games for Linear Logic. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|