Skip to search formSkip to main content

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

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?