Review of Fernndez, M.; Mackie, I.; Sinot, F.-R. Closed reduction: explicit substitutions without $\alpha$-conversion. Math. Structures Comput. Sci. 15 (2005), no. 2, 343--381
DEZANI, Mariangiola
2005-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.