| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 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) |
| 1 | | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi: Categorical semantics of the call-by-value lambda-calculus. TLCA 1995: 381-396 |
Selection of 2 from 4 records - Alberto Pravato has 4 coauthors
Copyright © 2010-01-07 by Michael Ley (ley@uni-trier.de)