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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In the categorical setting, histomorphisms model a course-of-value recursion scheme that allows functions to be defined using… Expand
Is this relevant?
Review
2011
Review
2011
Questions about Copyright and Fair Use at Fontbonne? Here you can get an overview of the basics and find out where to go to learn… Expand
Is this relevant?
2008
2008
Course-of-value recursion is a scheme which allows us to define the value of a function in some argument of an inductive… Expand
Is this relevant?
2004
2004
More than being just a tool for expressing algorithms, a well-designed programming language allows the user to express her ideas… Expand
Is this relevant?
2003
2003
Gimenez’ type system for structural recursion in the Calculus of Constructions is adapted to typed functional programming. As… Expand
  • table 1
  • table 2
  • table 4
Is this relevant?
1997
1997
Using a function algebra characterization of exponential time due to Monien [5], in the style of Bellantoni-Cook [2], we… Expand
Is this relevant?
1997
1997
Abstract. The paper builds on a simply typed term system ${\cal PR}^\omega $ providing a notion of partial primitive recursive… Expand
Is this relevant?
1994
1994
  • Carl H. 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
Is this relevant?