A Filter Lambda Model and the Completeness of Type Assignment

Articolo

Data di Pubblicazione:

1983

Tipologia CRIS:

03A-Articolo su Rivista

Elenco autori:

H. Barendregt;M. Coppo;M. Dezani-Ciancaglini

Link alla scheda completa:

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

Pubblicato in:

THE JOURNAL OF SYMBOLIC LOGIC

Journal

Dati Generali

URL

http://www.di.unito.it/~dezani/papers/bcd.pdf