Baillot, P., Pedicini, M. (2006). An embedding of the BSS model of computation in light affine lambda-calculus. In LCC'06.
An embedding of the BSS model of computation in light affine lambda-calculus
PEDICINI, MARCO
2006-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.