Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa. Fixpoint Semantics of L lambda. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 187-201, 1994.
@inproceedings{MartelliMPH94,
title = {Fixpoint Semantics of L lambda},
author = {Maurizio Martelli and Alessandro Messora and Catuscia Palamidessi and Alain Hui-Bon-Hoa},
year = {1994},
tags = {semantics},
researchr = {https://researchr.org/publication/MartelliMPH94},
cites = {0},
citedby = {0},
pages = {187-201},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1},
editor = {María Alpuente and Roberto Barbuti and Isidro Ramos},
}