CINECA IRIS Institutional Research Information System

Isomorphism of "Functional" Intersection Types

COPPO, Mario;DEZANI, Mariangiola;MARGARIA, Ines Maria;ZACCHI, Maddalena
2014-01-01
2014
TYPES 213
Toulouse
22-24 aprile 2013
19th International Conference on Types for Proofs and Programs (TYPES 2013)
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
26
129
149
9783939897729
http://drops.dagstuhl.de/opus/volltexte/2014/4629
M. Coppo;M. Dezani;I. Margaria;M. Zacchi
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
p129-07-coppo.pdf

Open Access dal 02/03/2014

Tipo di file: PDF EDITORIALE
Dimensione 645.29 kB
Formato Adobe PDF
Visualizza/Apri
645.29 kB Adobe PDF Visualizza/Apri
p129-07-coppo.pdf

Open Access dal 02/03/2015

Dimensione 645.29 kB
Formato Unknown
Visualizza/Apri
645.29 kB Unknown Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/148635
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact