Isomorphism of "Functional" Intersection Types

Contributo in Atti di convegno
Data di Pubblicazione:
2014
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Link alla scheda completa:
https://iris.unito.it/handle/2318/148635
Link al Full Text:
Titolo del libro:
19th International Conference on Types for Proofs and Programs (TYPES 2013)
Pubblicato in:
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Series