CINECA IRIS Institutional Research Information System

Intersection Types for the Resource Control Lambda Calculi

LIKAVEC, Silvia
2011-01-01
2011
Inglese
contributo
1 - Conferenza
8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011
Johannesburg, South Africa
August 31 - September 2, 2011
Internazionale
Antonio Cerone, Pekka Pihlajasaari
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings
Comitato scientifico
Springer
Berlin Heidelberg
GERMANIA
6916
116
134
19
LECTURE NOTES IN COMPUTER SCIENCE
9783642232824
9783642232831
2-s2.0-80052772443
http://link.springer.com/chapter/10.1007%2F978-3-642-23283-1_10
sì
FRANCIA
SERBIA
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
4
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec
273
open
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
main_ICTAC_4aperto.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 254.03 kB
Formato Adobe PDF
Visualizza/Apri
254.03 kB Adobe PDF 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/135234
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact