A
André Hirschowitz
Researcher at University of Nice Sophia Antipolis
Publications - 87
Citations - 1996
André Hirschowitz is an academic researcher from University of Nice Sophia Antipolis. The author has contributed to research in topics: Monad (functional programming) & Lambda calculus. The author has an hindex of 22, co-authored 87 publications receiving 1908 citations. Previous affiliations of André Hirschowitz include Centre national de la recherche scientifique & University of Angers.
Papers
More filters
Journal Article
Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques.
TL;DR: In this paper, a conjecture is proposed, which states that a diviseur sur a surface rationnelle generique (SRS) is positive doit avoir la cohomologie naturelle, autrement dit doit etre non special.
Book ChapterDOI
Higher-Order Abstract Syntax in Coq
TL;DR: This paper shows how a restricted form of second-order syntax and embedded implication can be used together with induction in the Coq Proof Development system, and fully formalizes a proof of type soundness in the system.
Journal ArticleDOI
An asymptotic vanishing theorem for generic unions of multiple points
J. Alexander,André Hirschowitz +1 more
Posted Content
Descente pour les n-champs (Descent for n-stacks)
André Hirschowitz,Carlos Simpson +1 more
TL;DR: The theory of n-stacks was studied in this paper, where the morphisms of a stack are invertible above degree n. This was the problem that originally motivated us to apply the theory of closed model categories (cmc).