4 citations · 16 across the 14 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 4 cited
Contraction-free proofs and finitary games for Linear Logic
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut an…
math.AG2009
Hilbert schemes of fat r-planes and triviality of Chow groups of complete intersections
Andre Hirschowitz, Jaya NN Iyer
In this paper, we investigate the question of triviality of the rational Chow groups of complete intersections in projective spaces and obtain improved bounds for this triviality t…