MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Modified bar recursion." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Modified Bar Recursion and Classical Dependent Choice
by Ulrich Berger, Paulo Oliva — In Logic Colloquium 2001
…MODIFIED BAR RECURSION AND CLASSICAL DEPENDENT CHOICE ULRICH BERGER AND PAULO OLIVA Abstract. We…
Cited by 13 (8 self) – Add To MetaCart

Proof Mining in Subsystems of Analysis
by Phd Dissertation, Paulo Oliva, Paulo Oliva — 2003
… bar recursion, that modified bar recursion is not S1-S9 computable over the type structure of total…
Add To MetaCart

Continuous semantics for strong normalization
by Ulrich Berger — 2005 — In CiE’05, volume 3526 of LNCS
…. The theorem applies to extensions of G"odel's system T , but also to various forms of bar recursion for which…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB