Review of: Dyckhoff, Roy; Lengrand, St´ephaneCall-by-value lambda-calculus and LJQ. J. Logic Comput. 17 (2007), no. 6, 1109–1134 / P.Minari. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - STAMPA. - 2008k:03019:(2008), pp. MR2376078-MR2376078.
Review of: Dyckhoff, Roy; Lengrand, St´ephaneCall-by-value lambda-calculus and LJQ. J. Logic Comput. 17 (2007), no. 6, 1109–1134.
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.