| Publication | Date of Publication | Type |
|---|
| Variable binding and substitution for (nameless) dummies | 2024-03-11 | Paper |
| Variable binding and substitution for (nameless) dummies | 2024-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101336 | 2022-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089005 | 2022-07-18 | Paper |
| High-level signatures and initial semantics | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009703 | 2021-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5854736 | 2021-03-17 | Paper |
| Modules over monads and operational semantics (expanded version) | 2020-12-11 | Paper |
| Modular specification of monads through higher-order presentations | 2019-03-03 | Paper |
| Wild omega-Categories for the Homotopy Hypothesis in Type Theory | 2017-07-12 | Paper |
| Contraction-free Proofs and Finitary Games for Linear Logic | 2016-05-10 | Paper |
| Saturating directed spaces | 2015-02-17 | Paper |
| Nested abstract syntax in Coq | 2013-04-17 | Paper |
| Hilbert schemes of fat r-planes and triviality of Chow groups of complete intersections | 2011-05-24 | Paper |
| Modules over monads and initial semantics | 2010-04-22 | Paper |
| Modules over Monads and Linearity | 2009-03-10 | Paper |
| A Theory for Game Theories | 2008-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024831 | 2005-07-04 | Paper |
| On the Stratification of Nested Hilbert Schemes | 2005-01-24 | Paper |
| Saturation theory and very ample Hilbert functions | 2003-12-16 | Paper |
| Michael Schneider (1942-1997) | 2002-01-21 | Paper |
| An asymptotic vanishing theorem for generic unions of multiple points | 2000-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260720 | 2000-06-01 | Paper |
| Problème de Brill-Noether pour les fibrés de steiner. Applications aux courbes gauches | 2000-02-17 | Paper |
| Interpolation on jets | 1999-08-19 | Paper |
| Generic hypersurface singularities | 1998-11-08 | Paper |
| New evidence for Green's conjecture on syzygies of canonical curves | 1998-06-21 | Paper |
| On the mean and variance of cover times for random walks on graphs | 1998-03-04 | Paper |
| The minimal resolution of the ideal of a general arrangement of a big number of points in \(\mathbb{P}^ n\) | 1997-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4838935 | 1996-01-22 | Paper |
| Generic fibres on the projective plane | 1995-03-09 | Paper |
| A Propos de l'Existence de Fibr\'es Stables sur les Surfaces | 1995-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315745 | 1995-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4297429 | 1994-12-19 | Paper |
| Vector bundles as direct images of line bundles | 1994-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287411 | 1993-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5288186 | 1993-08-16 | Paper |
| ON THE NUMBER OF IRREDUCIBLE COMPONENTS OF THE HILBERT SCHEME OF SMOOTH SPACE CURVES | 1993-06-29 | Paper |
| Some non special projective embeddings of rational surfaces | 1993-03-03 | Paper |
| The blowing up Horace method: Application to interpolation in degree four | 1992-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986695 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3981496 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472224 | 1989-01-01 | Paper |
| Restrictions planes du fibré instanton général. | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4204248 | 1989-01-01 | Paper |
| Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques. | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4204251 | 1989-01-01 | Paper |
| Existence de faisceaux réflexifs de rang deux sur \({\mathbb{P}}^ 3\) à bonne cohomologie. (Existence of reflexive sheaves of rank two on \({\mathbb{P}}^ 3\) with good homology) | 1988-01-01 | Paper |
| About the proofs of Calabi's conjectures on compact Kähler manifolds | 1988-01-01 | Paper |
| Symétries des surfaces rationelles génériques. (Symmetries of generic rational surfaces) | 1988-01-01 | Paper |
| Nouvelles courbes de bon genre dans l'espace projectif. (New curves of good genus in projective space) | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3800185 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758960 | 1987-01-01 | Paper |
| Le problème de Brill-Noether pour les idéaux de ${P}\sp 2$ | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4731282 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3734560 | 1986-01-01 | Paper |
| Courbes rationnelles et droites en position générale | 1985-01-01 | Paper |
| La methode d'Horace pour l'interpolation à plusieurs variables | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693625 | 1985-01-01 | Paper |
| Nouvelles surfaces à nœuds dans \({\mathbb{P}}^ 3\) | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220676 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676255 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689280 | 1984-01-01 | Paper |
| Droites de saut des fibres stables de rang eleve sur \(P_ 2\). | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218233 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969049 | 1982-01-01 | Paper |
| Cohomology of a general instanton bundle | 1982-01-01 | Paper |
| On the convergence of formal equivalence between embeddings | 1981-01-01 | Paper |
| Sur la postulation generique des courbes rationnelles | 1981-01-01 | Paper |
| Sur la restriction des faisceaux semi-stables | 1981-01-01 | Paper |
| Une classe de symboles new-look | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3882569 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3904856 | 1980-01-01 | Paper |
| Les deux types de méromorphie différent. | 1980-01-01 | Paper |
| Sur les plongements du type déformation | 1979-01-01 | Paper |
| Proprietes de transmission pour les distributions integrales de fourier | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154672 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4142365 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4159729 | 1977-01-01 | Paper |
| Domaines de Stein et fonctions holomorphes bornés | 1975-01-01 | Paper |
| Le problème de Lévi pour les espaces homogènes | 1975-01-01 | Paper |
| Pseudoconvexite au-dessus d'espaces plus ou moins homogenes | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041680 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041904 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4112215 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4774783 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5670928 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680237 | 1973-01-01 | Paper |
| Prolongement analytique en dimension infinie. (Analytic extension in infinite dimension) | 1972-01-01 | Paper |
| Recouvrements privilégiés | 1972-01-01 | Paper |
| Sur un théorème de M. A. Zorn | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638823 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5658371 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5673446 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5610527 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5610528 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613444 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628485 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631605 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631606 | 1971-01-01 | Paper |
| Sur les suites de fonctions analytiques | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5591022 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5603064 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604645 | 1970-01-01 | Paper |
| Remarques sur les ouverts d'holomorphie d'un produit dénombrable de droites | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604707 | 1969-01-01 | Paper |
