Review of Alves, Sandra; Florido, Mrio Weak linearization of the lambda calculus. Theoret. Comput. Sci. 342 (2005), no. 1, 79--103.
DEZANI, Mariangiola
2006-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.
