Lambda-definition of Function(al)s by Normal Forms / Böhm, C.; Guerrini, S.; Piperno, Adolfo. - LNCS 788:(1994), pp. 135-149. [10.1007/3-540-57880-3_9]
File 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.