Published papers and preprints from 2000 on (here
a short commented list of earlier papers and here
the full list in reverse order)
- A.H.-M.H.-T.H. : Saturating directed spaces. In Journal for Homotopy and Related Structures 8 (2013) pp. .
- A.H-M.Maggesi: Nested Abstract Syntax in Coq. In Journal of Automated Reasoning 49 (3) (2012) , pp. 409-426.
- A.H.-M.Maggesi. Modules over monads and initial semantics. Information and Computation 208 (2010), pp. 545-564
- 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.
-
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.
-
A.H.-M.H.-T.H. A Theory for Game Theories. In FSTTCS 2007, LNCS 4855, 192-203.
-
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).
-
B. Blanc- J. P. Giacometti-A.H.-L. Pottier. Proofs for freshmen with Coqweb.
Proceedings PATE07 93-107.
-
A. Geertsen-A.H.: On the stratification of nested Hilbert schemes,
Comm. Alg. 32, Number 8, 3025-3041 (2004)
-
A. Geertsen-A.H.: Saturation theory and very ample Hilbert functions,
Matematische Zeitschrift, Volume 245, Number 1, 155 - 181 (2003).
-
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.