Chantal Berline. Can a Proper Lambda-Model have an R.E. Equational Theory?. In Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura, editors, Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings. pages 5, World Scientific, 2007.
@inproceedings{Berline07,
title = {Can a Proper Lambda-Model have an R.E. Equational Theory?},
author = {Chantal Berline},
year = {2007},
researchr = {https://researchr.org/publication/Berline07},
cites = {0},
citedby = {0},
pages = {5},
booktitle = {Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings},
editor = {Giuseppe F. Italiano and Eugenio Moggi and Luigi Laura},
publisher = {World Scientific},
isbn = {981-277-098-4},
}