Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Alberto Pravato

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j2]
- view
  - electronic edition @ cambridge.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/PravatoRR99
- ask others
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
[j1]
- view
  - electronic edition @ cambridge.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/HonsellPR98
- ask others
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)
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/procomet/BastoneroPR98
- ask others
O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca: Structures for lazy semantics. PROCOMET 1998: 30-48
1995
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/PravatoRR95
- ask others
Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi: Categorical semantics of the call-by-value lambda-calculus. TLCA 1995: 381-396

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?