Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Intersection Types for the Resource Control Lambda Calculi

Contributo in Atti di convegno
Data di Pubblicazione:
2011
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec
Link alla scheda completa:
https://iris.unito.it/handle/2318/135234
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/135234/178685/main_ICTAC_4aperto.pdf
Titolo del libro:
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-23283-1_10
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0