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.H.-T.H. : Saturating directed spaces. In Journal for Homotopy and Related Structures 8 (2013) pp. .
  2. A.H-M.Maggesi: Nested Abstract Syntax in Coq. In Journal of Automated Reasoning 49 (3) (2012) , pp. 409-426.
  3. A.H.-M.Maggesi. Modules over monads and initial semantics. Information and Computation 208 (2010), pp. 545-564
  4. A. H.-J.N.Iyer : Hilbert schemes of fat planes and the triviality of Chow groups. In Vector bundles and complex geometry, volume 522 of Contemp. Math., pages 53–70. Amer. Math. Soc., Providence, RI, 2010.
  5. A.H.-M.H.-T.H. Contraction-free proofs and games for Linear Logic. In 25th Conference on Mathematical Foundations of Programming Semantics (MFPS), volume 249 of LNCS, pages 287–305, 2009.
  6. A.H.-M.H.-T.H. A Theory for Game Theories. In FSTTCS 2007, LNCS 4855, 192-203.
  7. 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).
  8. B. Blanc- J. P. Giacometti-A.H.-L. Pottier. Proofs for freshmen with Coqweb. Proceedings PATE07 93-107.
  9. A. Geertsen-A.H.: On the stratification of nested Hilbert schemes, Comm. Alg. 32, Number 8, 3025-3041 (2004)
  10. A. Geertsen-A.H.: Saturation theory and very ample Hilbert functions, Matematische Zeitschrift, Volume 245, Number 1, 155 - 181 (2003).
  11. 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/12/2012.