Polarized and Focalized Linear and Classical Proofs (2000)

Cached

Download Links

by Olivier Laurent Iml-Cnrs , Olivier Laurent , Myriam Quatrini , Iml-cnrs Marseille , Iml-cnrs Marseille , Lorenzo Tortora De Falco
Citations:1 - 0 self