Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Course-of-values recursion
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?
2012
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?
2008
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
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
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?