Travelled to:
1 × Switzerland
Collaborated with:
H.Fournier D.Gardy M.Zaionc
Talks about:
intuitionist (1) asymptot (1) classic (1) logic (1) ident (1)
Person: Antoine Genitrini
DBLP: Genitrini:Antoine
Contributed to:
Wrote 1 papers:
- CSL-2007-FournierGGZ #logic
- Classical and Intuitionistic Logic Are Asymptotically Identical (HF, DG, AG, MZ), pp. 177–193.