Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
IT
EN
☰
UNI-FIND
|
UNI-FIND
unito.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
☰
Pubblicazioni
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus
Articolo
Data di Pubblicazione:
1978
Tipologia CRIS:
03A-Articolo su Rivista
Elenco autori:
M.Coppo; M.Dezani; S. Ronchi della Rocca
Link alla scheda completa:
https://iris.unito.it/handle/2318/103019
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
