Computer Society of the IEEE
Retracts in simply typed lambda-beta-eta-calculus / De'Liguoro, U.; Piperno, Adolfo; Statman, R.. - (1992), pp. 461-469.
Retracts in simply typed lambda-beta-eta-calculus
PIPERNO, Adolfo;
1992
Abstract
Computer Society of the IEEEFile 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.