Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012

PAOLINI, LUCA LUIGI
2013-01-01

2013
Electronic Proceedings in Theoretical Computer Science (EPTCS), Open Publishing Association
121
0
93
http://itrs2012.di.unito.it/
http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?ITRS2012
Stéphane Graham-Lengrand; Luca Paolini
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/147285
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact