Yves Bertot, Vladimir Komendantsky. Fixed point semantics and partial recursion in Coq. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 89-96, ACM, 2008. [doi]
@inproceedings{BertotK08,
title = {Fixed point semantics and partial recursion in Coq},
author = {Yves Bertot and Vladimir Komendantsky},
year = {2008},
doi = {10.1145/1389449.1389461},
url = {http://doi.acm.org/10.1145/1389449.1389461},
tags = {semantics},
researchr = {https://researchr.org/publication/BertotK08},
cites = {0},
citedby = {0},
pages = {89-96},
booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain},
editor = {Sergio Antoy and Elvira Albert},
publisher = {ACM},
isbn = {978-1-60558-117-0},
}