FUNDAMENTA INFORMATICAE
Lambda abstraction algebras: coordinatizing models of lambda calculus
SALIBRA, Antonino
1998-01-01
Abstract
FUNDAMENTA INFORMATICAEFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.