| Автор | PRAVATO, ALBERTO |
| Автор | della ROCCA, SIMONA RONCHI |
| Автор | ROVERSI, LUCA |
| Дата выпуска | 1999 |
| dc.description | This paper is about a categorical approach for modelling the pure (i.e., without constants) call-by-value λ-calculus, defined by Plotkin as a restriction of the call-by-name λ-calculus. In particular, we give the properties that a category Cbv must enjoy to describe a model of call-by-value λ-calculus. The category Cbv is general enough to catch models in Scott Domains and Coherence Spaces. |
| Издатель | Cambridge University Press |
| Название | The call-by-value λ-calculus: a semantic investigation This work was supported by TMR-Marie Curie Grant, contract n. ERBFMBICT9601411 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 9 |
| Первая страница | 617 |
| Последняя страница | 650 |
| Аффилиация | PRAVATO ALBERTO; Università degli studi di Torino |
| Аффилиация | della ROCCA SIMONA RONCHI; Università degli studi di Torino |
| Аффилиация | ROVERSI LUCA; Institut de Matématiques de Luminy |
| Выпуск | 5 |
