Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani. Relative Definability and Models of Unary PCF. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Volume 2701 of Lecture Notes in Computer Science, pages 75-89, Springer, 2003. [doi]
@inproceedings{BucciarelliLP03,
title = {Relative Definability and Models of Unary PCF},
author = {Antonio Bucciarelli and Benjamin Leperchey and Vincent Padovani},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2701/27010075.htm},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BucciarelliLP03},
cites = {0},
citedby = {0},
pages = {75-89},
booktitle = {Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
editor = {Martin Hofmann},
volume = {2701},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40332-9},
}