Cited By
View all- Cheval HNowak DRusu V(2024)Formal Definitions and Proofs for Partial (Co)Recursive FunctionsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.100999(100999)Online publication date: Jun-2024
- BOVE AKRAUSS ASOZEAU M(2014)Partiality and recursion in interactive theorem provers – an overviewMathematical Structures in Computer Science10.1017/S096012951400011526:1(38-88)Online publication date: 10-Nov-2014
- Vytiniotis DCoquand TWahlstedt D(2012)Stop When You Are Almost-FullInteractive Theorem Proving10.1007/978-3-642-32347-8_17(250-265)Online publication date: 2012
- Show More Cited By