MR1989176 (2004g:03037) Danos, Vincent(F-CNRS); Joinet, Jean-Baptiste(F-PARIS1) Linear logic and elementary time. (English summary) Special issue: ICC'99 (Trento). Inform. and Comput. 183 (2003), no. 1, 123--137.
ROVERSI, Luca
2004-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
