Partial objects in the calculus of constructions
Publisher
IEEE Comput. Sco. Press
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A coinductive monad for prop-bounded recursion;Proceedings of the 2007 workshop on Programming languages meets program verification;2007-10-02
2. Nested General Recursion and Partiality in Type Theory;Lecture Notes in Computer Science;2001
3. Admissibility of fixpoint induction over partial types;Automated Deduction — CADE-15;1998
4. Inductive definitions in the system Coq rules and properties;Lecture Notes in Computer Science