MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Elio Giovannetti" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • A Mobility Calculus with Local and Dependent Types  
  • by Federico Cozzi, Mariangiola Dezani-ciancaglini, Elio Giovannetti, Rosario Pugliese — 2005 — Processes, Terms and Cycles: Steps on the Road to Infinity, volume 3838 of LNCS
  • …,⋆⋆ , Mariangiola Dezani-Ciancaglini 1,⋆⋆⋆ , Elio Giovannetti 1,† , and Rosario Pugliese 3,‡ 1 Dip. Informatica…
  • Cited by 5 (3 self) – Add To MetaCart
  • The Relevance of Semantic Subtyping  
  • by Mariangiola Dezani-ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama — 2002 — In IEEE Symposium on Logic in Computer Science (LICS
  • … Frisch b,2 Elio Giovannetti a,3 Yoko Motohama c,1 a Dipartimento di Informatica Universita di…
  • Cited by 35 (6 self) – Add To MetaCart
  • Intersection Types, λ-models, and Böhm Trees  
  • by Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
  • …Intersection Types, -models, and Bohm Trees Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo…
  • Add To MetaCart
  • On Isomorphisms of Intersection Types  
  • by Mariangiola Dezani-ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
  • … Cosmo 2 , Elio Giovannetti 1 , Makoto Tatsuta 3 1 Dipartimento di Informatica, Università di Torino…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB