World Scientific
Regular systems of equations in lambda-calculus (preliminary version) / Piperno, Adolfo; Tronci, E.. - (1989), pp. 373-384.
Regular systems of equations in lambda-calculus (preliminary version)
PIPERNO, Adolfo;TRONCI E.
1989
Abstract
World ScientificFile allegati a 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.
