| |
| 1999 | ||
|---|---|---|
| 4 | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi: The call-by-value [lambda]-calculus: a semantic investigation. Mathematical Structures in Computer Science 9(5): 617-650 (1999) | |
| 1998 | ||
| 3 | O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca: Structures for lazy semantics. PROCOMET 1998: 30-48 | |
| 2 | Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca: Structured Operational Semantics of a Fragment of the Language Scheme. J. Funct. Program. 8(4): 335-365 (1998) | |
| 1995 | ||
| 1 | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi: Categorical semantics of the call-by-value lambda-calculus. TLCA 1995: 381-396 | |
| 1 | O. Bastonero | [3] |
| 2 | Furio Honsell | [2] |
| 3 | Simona Ronchi Della Rocca | [1] [2] [3] [4] |
| 4 | Luca Roversi | [1] [4] |