MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Indexed Induction-Recursion." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Indexed Induction-Recursion
by Peter Dybjer, Anton Setzer — 2001
…Indexed Induction-Recursion Peter Dybjer 1 and Anton Setzer 2 1 Department of Mathematics…
Cited by 27 (11 self) – Add To MetaCart

Partial recursive functions in Martin-Löf Type Theory
by Anton Setzer — Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006
… definitions, indexed induction-recursion. 1 Introduction A problem when developing computability theory…
Cited by 2 (1 self) – Add To MetaCart

A data type of partial recursive functions in Martin-Löf Type Theory. 35pp, submitted
by Anton Setzer — 2007
… functions, inductive-recursive definitions, indexed induction-recursion, self-evaluation. 1 Introduction A…
Cited by 1 (0 self) – Add To MetaCart

Induction-recursion and initial algebras
by Peter Dybjer, Anton Setzer — 2003 — Annals of Pure and Applied Logic
… the metalanguage. It is an example of indexed induction-recursion [11, 13], since we are defining computability…
Cited by 15 (9 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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