Abstract 2000-24

Laurent Olivier, Quatrini Myriam and Tortora de Falco Lorenzo.
Polarized and focalized linear and classical proofs

 

 

Last update : october 23, 2000, EL.