MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Simona Ronchi Della Rocca" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Parametric Parameter Passing λ-calculus  
  • by Luca Paolini, Simona Ronchi Della Rocca, Simona Ronchi, Della Rocca — 2003
  • … Mediterranee - IML E-mail: paolini@(email omitted); and Simona Ronchi Della Rocca 1 Universita di Torino…
  • Add To MetaCart
  • Structures for Lazy Semantics  
  • by Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca — 1997 — In Programming Concepts and Methods, PROCOMET'98. Chapman
  • …Structures for lazy semantics Olivier Bastonero Alberto Pravato y Simona Ronchi della Rocca…
  • Cited by 1 (0 self) – Add To MetaCart
  • Intersection Typed λ-calculus  
  • by Simona Ronchi Della Rocca, Simona Ronchi, Della Rocca — 2002
  • …://www.elsevier.nl/locate/entcs/volume70.html 19 pages Abstract Intersection Typed λ-calculus Simona Ronchi Della Rocca 1…
  • Cited by 1 (0 self) – Add To MetaCart
  • Comparing Cubes  
  • by Steffen Van, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn, Afdeling Informatica, Instytut Informatyki
  • …Comparing Cubes Steffen van Bakel 1 Luigi Liquori 2y Simona Ronchi della Rocca 2 Pawel…
  • Add To MetaCart
  • Comparing Cubes  
  • by Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn, Afdeling Informatica, Instytut Informatyki
  • …Comparing Cubes Steen van Bakel 1 Luigi Liquori 2y Simona Ronchi della Rocca 2 Pawe l Urzyczyn…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB