CINECA IRIS Institutional Research Information System

Isomorphism of "Functional" Intersection Types

COPPO, Mario;DEZANI, Mariangiola;MARGARIA, Ines Maria;ZACCHI, Maddalena
2014-01-01
2014
Inglese
contributo
2 - Congresso
TYPES 213
Toulouse
22-24 aprile 2013
Internazionale
Ralph Matthes, Aleksy Schubert
Ralph Matthes, Aleksy Schubert
19th International Conference on Types for Proofs and Programs (TYPES 2013)
Nessuno
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Dagstuhl, Germany
GERMANIA
26
129
149
21
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
9783939897729
2-s2.0-84907790362
http://drops.dagstuhl.de/opus/volltexte/2014/4629
4
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
M. Coppo;M. Dezani;I. Margaria;M. Zacchi
273
open
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