2272 search results - page 251 / 455 » A Calculus for |
113
Voted
JQL
2007
15 years 4 months ago
2007
How can it be said that texts are "near" or "distant" from one another? Are different texts by a single author more similar than texts by different authors? To...
132
click to vote
JUCS
2007
15 years 4 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
128
Voted
LOGCOM
2007
15 years 4 months ago
2007
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...
132
click to vote
AML
2004
15 years 4 months ago
2004
The standard method of generating countable ordinals from uncountable ordinals can be replaced by a use of fixed point extractors available in the term calculus of Howard's s...
126
click to vote
APAL
2000
15 years 4 months ago
2000
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...