Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Course-of-values recursion

Known as: Course of values recursion, Course-of-value recursion 
In computability theory, course-of-values recursion is a technique for defining number-theoretic functions by recursion. In a definition of a… Expand
Wikipedia

Related topics

Related topics

9 relations
Arithmetical hierarchyGödel numberingGödel numbering for sequencesMutual recursion
Expand

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Course-of-Value Induction in Cedille
In the categorical setting, histomorphisms model a course-of-value recursion scheme that allows functions to be defined using… Expand
2018
2018
L O ] 2 9 N ov 2 01 8 Course-of-Value Induction in Cedille
In the categorical setting, histomorphisms model a courseof-value recursion scheme that allows functions to be defined using… Expand
2013
2013
Structured Sharing for Dynamic Programming Extended Abstract
Dynamic programming is a technique for designing algorithms to solve certain optimisation problems. It is similar to the… Expand
2011
2011
Taylor Library: Copyright @ Fontbonne University: Course Reserves & Permissions
 
2008
2008
Some Remarks on Type Systems for Course-of-value Recursion
Course-of-value recursion is a scheme which allows us to define the value of a function in some argument of an inductive… Expand
2004
2004
A Functional Language for Logarithmic Space
More than being just a tool for expressing algorithms, a well-designed programming language allows the user to express her ideas… Expand
1997
1997
A Safe Recursion Scheme for Exponential Time
Using a function algebra characterization of exponential time due to Monien [5], in the style of Bellantoni-Cook [2], we… Expand
1997
1997
Non-definability of the Ackermann function with type 1 partial primitive recursion
Abstract. The paper builds on a simply typed term system ${\cal PR}^\omega $ providing a notion of partial primitive recursive… Expand
1994
1994
A Recursive Introduction to the Theory of Computation
  • C. Smith
  • Graduate Texts in Computer Science
  • 1994
    • Corpus ID: 206656265
From the Publisher: The aim of this textbook is to present an account of the theory of computation. After introducing the… Expand
1992
1992
Theory of Computation over Stream Algebras, and its Applications
The theory of computable functions on abstract data types is outlined. Methods for extending the theory to establish the scope… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE