![](/img/cover-not-exists.png)
[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Fixed point semantics and partial recursion in Coq
Bertot, Yves, Komendantsky, VladimirYear:
2008
Language:
english
DOI:
10.1145/1389449.1389461
File:
PDF, 215 KB
english, 2008