Combining Type Disciplines

Articolo

Data di Pubblicazione:

1994

Tipologia CRIS:

03A-Articolo su Rivista

Elenco autori:

F. Cardone;M. Dezani-Ciancaglini;U. de' Liguoro

Autori di Ateneo:

CARDONE Felice

DE' LIGUORO Ugo

Link alla scheda completa:

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

Pubblicato in:

ANNALS OF PURE AND APPLIED LOGIC

Journal

Dati Generali

URL

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