| Publication | Date of Publication | Type |
|---|
Variable binding and substitution for (nameless) dummies
Logical Methods in Computer Science | 2024-03-11 | Paper |
Variable binding and substitution for (nameless) dummies
Lecture Notes in Computer Science | 2024-01-23 | Paper |
scientific article; zbMATH DE number 7577567 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577567 (Why is no real title available?) | 2022-08-30 | Paper |
scientific article; zbMATH DE number 7559272 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| High-level signatures and initial semantics | 2022-05-28 | Paper |
scientific article; zbMATH DE number 7379288 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-05 | Paper |
| Initial semantics for strengthened signatures | 2021-03-17 | Paper |
Initial semantics for strengthened signatures
(available as arXiv preprint) | 2021-03-17 | Paper |
Modules over monads and operational semantics (expanded version)
(available as arXiv preprint) | 2020-12-11 | Paper |
Modular specification of monads through higher-order presentations
(available as arXiv preprint) | 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
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Saturating directed spaces
Journal of Homotopy and Related Structures | 2015-02-17 | Paper |
Nested abstract syntax in Coq
Journal of Automated Reasoning | 2013-04-17 | Paper |
Hilbert schemes of fat \(r\)-planes and the triviality of Chow groups of complete intersections
(available as arXiv preprint) | 2011-05-24 | Paper |
Modules over monads and initial semantics
Information and Computation | 2010-04-22 | Paper |
Modules over Monads and Linearity
Logic, Language, Information and Computation | 2009-03-10 | Paper |
A Theory for Game Theories
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
| scientific article; zbMATH DE number 2185657 (Why is no real title available?) | 2005-07-04 | Paper |
On the Stratification of Nested Hilbert Schemes
Communications in Algebra | 2005-01-24 | Paper |
Saturation theory and very ample Hilbert functions
Mathematische Zeitschrift | 2003-12-16 | Paper |
Michael Schneider (1942-1997)
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 2002-01-21 | Paper |
An asymptotic vanishing theorem for generic unions of multiple points
Inventiones Mathematicae | 2000-08-28 | Paper |
| scientific article; zbMATH DE number 1330145 (Why is no real title available?) | 2000-06-01 | Paper |
Problème de Brill-Noether pour les fibrés de steiner. Applications aux courbes gauches
Annales Scientifiques de l?tcole Normale Sup�rieure | 2000-02-17 | Paper |
Problème de Brill-Noether pour les fibrés de steiner. Applications aux courbes gauches
Annales Scientifiques de l?tcole Normale Sup�rieure | 2000-02-17 | Paper |
Problème de Brill-Noether pour les fibrés de steiner. Applications aux courbes gauches
Annales Scientifiques de l?tcole Normale Sup�rieure | 2000-02-17 | Paper |
Interpolation on jets
Journal of Algebra | 1999-08-19 | Paper |
Generic hypersurface singularities
Proceedings of the Indian Academy of Sciences. Mathematical Sciences | 1998-11-08 | Paper |
New evidence for Green's conjecture on syzygies of canonical curves
Annales Scientifiques de l?tcole Normale Sup�rieure | 1998-06-21 | Paper |
New evidence for Green's conjecture on syzygies of canonical curves
Annales Scientifiques de l?tcole Normale Sup�rieure | 1998-06-21 | Paper |
New evidence for Green's conjecture on syzygies of canonical curves
Annales Scientifiques de l?tcole Normale Sup�rieure | 1998-06-21 | Paper |
On the mean and variance of cover times for random walks on graphs
Journal of Mathematical Analysis and Applications | 1998-03-04 | Paper |
The minimal resolution of the ideal of a general arrangement of a big number of points in \(\mathbb{P}^ n\)
Inventiones Mathematicae | 1997-04-08 | Paper |
| scientific article; zbMATH DE number 773851 (Why is no real title available?) | 1996-01-22 | Paper |
Generic fibres on the projective plane
Mathematische Annalen | 1995-03-09 | Paper |
A Propos de l'Existence de Fibr\'es Stables sur les Surfaces
(available as arXiv preprint) | 1995-03-01 | Paper |
| A Propos de l'Existence de Fibr\'es Stables sur les Surfaces | 1995-03-01 | Paper |
| A Propos de l'Existence de Fibr\'es Stables sur les Surfaces | 1995-03-01 | Paper |
| scientific article; zbMATH DE number 702039 (Why is no real title available?) | 1995-01-24 | Paper |
| scientific article; zbMATH DE number 599163 (Why is no real title available?) | 1994-12-19 | Paper |
Vector bundles as direct images of line bundles
Proceedings of the Indian Academy of Sciences. Mathematical Sciences | 1994-05-05 | Paper |
| scientific article; zbMATH DE number 232901 (Why is no real title available?) | 1993-08-25 | Paper |
| scientific article; zbMATH DE number 247019 (Why is no real title available?) | 1993-08-16 | Paper |
ON THE NUMBER OF IRREDUCIBLE COMPONENTS OF THE HILBERT SCHEME OF SMOOTH SPACE CURVES
International Journal of Mathematics | 1993-06-29 | Paper |
Some non special projective embeddings of rational surfaces
Mathematische Zeitschrift | 1993-03-03 | Paper |
The blowing up Horace method: Application to interpolation in degree four
Inventiones Mathematicae | 1992-07-22 | Paper |
| scientific article; zbMATH DE number 29195 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 21962 (Why is no real title available?) | 1992-06-26 | Paper |
Restrictions planes du fibré instanton général.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4139912 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4123867 (Why is no real title available?) | 1989-01-01 | Paper |
Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1989-01-01 | Paper |
Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4123872 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4067090 (Why is no real title available?) | 1988-01-01 | Paper |
Nouvelles courbes de bon genre dans l'espace projectif. (New curves of good genus in projective space)
Mathematische Annalen | 1988-01-01 | Paper |
About the proofs of Calabi's conjectures on compact Kähler manifolds
L'Enseignement Mathématique. 2e Série | 1988-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)
Publications Mathématiques | 1988-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)
Publications Mathématiques | 1988-01-01 | Paper |
Symétries des surfaces rationelles génériques. (Symmetries of generic rational surfaces)
Mathematische Annalen | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4008552 (Why is no real title available?) | 1987-01-01 | Paper |
Le problème de Brill-Noether pour les idéaux de ${P}\sp 2$
Annales Scientifiques de l?tcole Normale Sup�rieure | 1987-01-01 | Paper |
Le problème de Brill-Noether pour les idéaux de ${P}\sp 2$
Annales Scientifiques de l?tcole Normale Sup�rieure | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4116686 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3966280 (Why is no real title available?) | 1986-01-01 | Paper |
Courbes rationnelles et droites en position générale
Annales de l’institut Fourier | 1985-01-01 | Paper |
Courbes rationnelles et droites en position générale
Annales de l’institut Fourier | 1985-01-01 | Paper |
Courbes rationnelles et droites en position générale
Annales de l’institut Fourier | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3916461 (Why is no real title available?) | 1985-01-01 | Paper |
La methode d'Horace pour l'interpolation à plusieurs variables
Manuscripta Mathematica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3912513 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3897095 (Why is no real title available?) | 1984-01-01 | Paper |
Nouvelles surfaces à nœuds dans \({\mathbb{P}}^ 3\)
Mathematische Annalen | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3886029 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3886029 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3884294 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3792327 (Why is no real title available?) | 1982-01-01 | Paper |
Cohomology of a general instanton bundle
Annales Scientifiques de l?tcole Normale Sup�rieure | 1982-01-01 | Paper |
Cohomology of a general instanton bundle
Annales Scientifiques de l?tcole Normale Sup�rieure | 1982-01-01 | Paper |
Droites de saut des fibres stables de rang eleve sur \(P_ 2\).
Mathematische Zeitschrift | 1982-01-01 | Paper |
Sur la postulation generique des courbes rationnelles
Acta Mathematica | 1981-01-01 | Paper |
On the convergence of formal equivalence between embeddings
Annals of Mathematics. Second Series | 1981-01-01 | Paper |
Sur la restriction des faisceaux semi-stables
Annales Scientifiques de l?tcole Normale Sup�rieure | 1981-01-01 | Paper |
Sur la restriction des faisceaux semi-stables
Annales Scientifiques de l?tcole Normale Sup�rieure | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3714071 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3687523 (Why is no real title available?) | 1980-01-01 | Paper |
Les deux types de méromorphie différent.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1980-01-01 | Paper |
Une classe de symboles new-look
Annales de l’institut Fourier | 1980-01-01 | Paper |
Une classe de symboles new-look
Annales de l’institut Fourier | 1980-01-01 | Paper |
Proprietes de transmission pour les distributions integrales de fourier
Communications in Partial Differential Equations | 1979-01-01 | Paper |
Sur les plongements du type déformation
Commentarii Mathematici Helvetici | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3585579 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3571150 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3571150 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3590738 (Why is no real title available?) | 1977-01-01 | Paper |
Le problème de Lévi pour les espaces homogènes
Bulletin de la Société mathématique de France | 1975-01-01 | Paper |
Le problème de Lévi pour les espaces homogènes
Bulletin de la Société mathématique de France | 1975-01-01 | Paper |
Domaines de Stein et fonctions holomorphes bornés
Mathematische Annalen | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3450603 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3455379 (Why is no real title available?) | 1974-01-01 | Paper |
Pseudoconvexite au-dessus d'espaces plus ou moins homogenes
Inventiones Mathematicae | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3534844 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3534844 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3455641 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3415997 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3415997 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3404656 (Why is no real title available?) | 1973-01-01 | Paper |
Sur un théorème de M. A. Zorn
Archiv der Mathematik | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3365910 (Why is no real title available?) | 1972-01-01 | Paper |
Prolongement analytique en dimension infinie. (Analytic extension in infinite dimension)
Annales de l’institut Fourier | 1972-01-01 | Paper |
Prolongement analytique en dimension infinie. (Analytic extension in infinite dimension)
Annales de l’institut Fourier | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3406665 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3389415 (Why is no real title available?) | 1972-01-01 | Paper |
Recouvrements privilégiés
Annales de l’institut Fourier | 1972-01-01 | Paper |
Recouvrements privilégiés
Annales de l’institut Fourier | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3357431 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3331729 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3331729 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3331728 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3336239 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3357430 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3353743 (Why is no real title available?) | 1971-01-01 | Paper |
Sur les suites de fonctions analytiques
Annales de l’institut Fourier | 1970-01-01 | Paper |
Sur les suites de fonctions analytiques
Annales de l’institut Fourier | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3310360 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3322826 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3325805 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3325881 (Why is no real title available?) | 1969-01-01 | Paper |
Remarques sur les ouverts d'holomorphie d'un produit dénombrable de droites
Annales de l’institut Fourier | 1969-01-01 | Paper |
Remarques sur les ouverts d'holomorphie d'un produit dénombrable de droites
Annales de l’institut Fourier | 1969-01-01 | Paper |
Descente pour les n-champs (Descent for n-stacks)
(available as arXiv preprint) | N/A | Paper |
