Surjectivity for finite sets of combinators by weak reduction / Böhm, C.; Piperno, Adolfo. - LNCS 329:(1987), pp. 27-43. [10.1007/3-540-50241-6_27]
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.


