Review of: Fleury, M.-R.; Quatrini, M. A mixed $\lambda$-calculus. Studia Logica 87 (2007), no. 2-3, 269--294 / P.Minari. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - STAMPA. - 2008j:03101:(2008), pp. MR2365462-MR2365462.
Review of: Fleury, M.-R.; Quatrini, M. A mixed $\lambda$-calculus. Studia Logica 87 (2007), no. 2-3, 269--294.
MINARI, PIERLUIGI
2008
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.