Searching for "Simple General Recursion in Type Theory." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Simple General Recursion in Type Theory
- …Simple General Recursion in Type Theory Ana Bove Department of Computing Science Chalmers…
- Cited by 6 (2 self) – Add To MetaCart
-
Nested General Recursion and Partiality in Type Theory
- … method to formalise simple general recursive algorithms in type theory (by simple we mean non…
- Cited by 21 (9 self) – Add To MetaCart
-
Abstraction and Computation: Type Theory, Algebraic Structures, and Recursive Functions
- … . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157 6.2 Simple General Recursion in Type Theory . . . . . . . . . . . . . 159 6.3 Nested Recursion…
- Add To MetaCart
Showing 1 through 3.
