André Hirschowitz

Published papers and preprints from 2000 on (here a short commented list of earlier papers and here the full list in reverse order)

  1. A.H-M.Maggesi: Nested Abstract Syntax, à paraître.
  2. A. H. -J.N.Iyer : Hilbert schemes of fat planes and the triviality of Chow groups. A paraître dans Contemporary Mathematics.
  3. A.H.-M.Maggesi. Modules over monads and initial semantics. Information and Computation 208 (2010), pp. 545-564
  4. A.H.-M.H.-T.H. Contraction-free proofs and games for Linear Logic. MFPS 2009.
  5. A.H.-M.H.-T.H. A Theory for Game Theories. In FSTTCS 2007, LNCS 4855, 192-203.
  6. A.H.-M.Maggesi. Modules over Monads and Linearity in Daniel Leivant, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4576 Springer 2007 (arXiv:cs/0608051).
  7. B. Blanc- J. P. Giacometti-A.H.-L. Pottier. Proofs for freshmen with Coqweb. Proceedings PATE07 93-107.
  8. A. Geertsen-A.H.: On the stratification of nested Hilbert schemes, Comm. Alg. 32, Number 8, 3025-3041 (2004)
  9. A. Geertsen-A.H.: Saturation theory and very ample Hilbert functions, Matematische Zeitschrift, Volume 245, Number 1, 155 - 181 (2003).
  10. J. Alexander-A.H.: An asymptotic vanishing theorem for generic unions of multiple points. Invent. Math. 140 (2000) 2, 303-325.
Dernière mise à jour: 04/03/2010.