Publisher
Oxford University Press (OUP)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Some Domain Theory and Denotational Semantics in Coq;Lecture Notes in Computer Science;2009
2. Another Look at Nested Recursion;Lecture Notes in Computer Science;2000
3. Function definition in higher-order logic;Lecture Notes in Computer Science;1996
4. Translating specifications in VDM-SL to PVS;Lecture Notes in Computer Science;1996
5. Non-primitive recursive function definitions;Higher Order Logic Theorem Proving and Its Applications;1995