Review of Ayala-Rincn, Mauricio; de Moura, Flvio L. C.; Kamareddine, Fairouz Comparing and implementing calculi of explicit substitutions with eta-reduction. Ann. Pure Appl. Logic 134 (2005), no. 1, 5--41.
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.
