Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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

2018

2018

In the categorical setting, histomorphisms model a courseof-value recursion scheme that allows functions to be defined using… Expand

2013

2013

Dynamic programming is a technique for designing algorithms to solve certain optimisation problems. It is similar to the… Expand

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

2004

2004

More than being just a tool for expressing algorithms, a well-designed programming language allows the user to express her ideas… Expand

1997

1997

Using a function algebra characterization of exponential time due to Monien [5], in the style of Bellantoni-Cook [2], we… Expand

1997

1997

Abstract. The paper builds on a simply typed term system
${\cal PR}^\omega $ providing a notion of partial primitive recursive… Expand

1994

1994

From the Publisher:
The aim of this textbook is to present an account of the theory of computation. After introducing the… Expand

1992

1992

The theory of computable functions on abstract data types is outlined. Methods for extending the theory to establish the scope… Expand