Review of: M. Dezani-Ciancaglini, E. Giovannetti, U. de'Liguoro, Intersection types, λ-models, and Böhm trees, in M. Takahashi (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 45-97 (1998) / A.Cantini. - In: ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE. - ISSN 0044-4235. - STAMPA. - 946:(1999), pp. 0946.03016-0946.03016.
Review of: M. Dezani-Ciancaglini, E. Giovannetti, U. de'Liguoro, Intersection types, λ-models, and Böhm trees, in M. Takahashi (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 45-97 (1998)
CANTINI, ANDREA
1999
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.
