Searching for "A Type of Partial Recursive Functions." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Type of Partial Recursive Functions
- …A Type of Partial Recursive Functions Ana Bove 1 and Venanzio Capretta 2 1 Department of Computer…
- Add To MetaCart
-
Computation by prophecy
- … properties; we obtain a type of partial recursive functions between any two given types; and composition…
- Cited by 1 (1 self) – Add To MetaCart
-
Partial recursive functions in Martin-Löf Type Theory
- … on the indexed inductive-recursive definitions used. Then we introduce a data type of partial recursive functions…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 3.
