|
Search the dblp DataBase
Alberto Pravato:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca
Structures for lazy semantics. [Citation Graph (0, 0)][DBLP] PROCOMET, 1998, pp:30-48 [Conf]
- Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
Categorical semantics of the call-by-value lambda-calculus. [Citation Graph (0, 0)][DBLP] TLCA, 1995, pp:381-396 [Conf]
- Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
Structured Operational Semantics of a Fragment of the Language Scheme. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:4, pp:335-365 [Journal]
- Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
The call-by-value [lambda]-calculus: a semantic investigation. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:617-650 [Journal]
Search in 0.001secs, Finished in 0.002secs
|