CINECA IRIS Institutional Research Information System

On Isomorphisms of Intersection Types

DEZANI, Mariangiola;GIOVANNETTI, Elio;
2008-01-01
2008
Inglese
contributo
3 - Convegno
CSL'08
Bertinoro
September 16-19
Internazionale
CSL'08
Esperti anonimi
Springer
Berlin
GERMANIA
5213
461
492
32
LECTURE NOTES IN COMPUTER SCIENCE
9783540875307
WOS:000261091200032
2-s2.0-57849139798
FRANCIA
GIAPPONE
4
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Mariangiola Dezani; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta
273
none
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/56651
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact