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

# Primitive recursive functional

In mathematical logic, the primitive recursive functionals are a generalization of primitive recursive functions into higher type theory. They… Expand
Wikipedia

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
• 2015
• Corpus ID: 56131434
In this paper we analyse an infimal convolution type regularisation functional called TVL∞, based on the total variation (TV) and… Expand
Is this relevant?
2009
2009
• Notre Dame J. Formal Log.
• 2009
• Corpus ID: 5702437
This paper addresses the strength of Ramsey's theorem for pairs (RT 2 ) over a weak base theory from the perspective of 'proof… Expand
Is this relevant?
2007
2007
We consider almost upper-semicontinuous processes defined on a finite Markov chain. The distributions of functionals associated… Expand
Is this relevant?
2006
2006
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
• 2004
• Corpus ID: 13141816
The sequence of Gaver functionals is useful in the numerical inversion of Laplace transforms. The convergence behavior of the… Expand
Is this relevant?
2000
2000
• Arch. Math. Log.
• 2000
• Corpus ID: 33349010
Abstract. Let T be Gödel's system of primitive recursive functionals of finite type in a combinatory logic formulation. Let $T… Expand Is this relevant? 1998 1998 Abstract. The paper builds on both a simply typed term system${\cal PR}^\omega\$ and a computation model on Scott domains via so… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
• J. Symb. Comput.
• 1993
• Corpus ID: 29439191
The system Coq (Dowek et al., 1991) is an environment for proof development based on the Calculus of Constructions (Coquand, 1985… Expand
Is this relevant?
1991
1991
This paper presents an extension of an ML style type system to support dependent product types for programs. The study is based… Expand
Is this relevant?
1982
1982
It is known that every <ec-recursive function is also a primitive recursive functional. Kreisel has proved this by means of G6del… Expand
Is this relevant?