Discriminability of infinite sets of terms in the D-infinity-models of the lambda-calculus

Articolo

Data di Pubblicazione:

1981

Tipologia CRIS:

03A-Articolo su Rivista

Elenco autori:

S.Ronchi Della Rocca

Link alla scheda completa:

https://iris.unito.it/handle/2318/114056

Pubblicato in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series