Functional Characterization of Some Semantic Equalities inside Lambda-Calculus

Articolo

Data di Pubblicazione:

1979

Tipologia CRIS:

03A-Articolo su Rivista

Elenco autori:

M. Coppo;M. Dezani;P. Salle

Link alla scheda completa:

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

Pubblicato in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series