On the public citation graph

Type-theoretic interpretation of iterated, strictly positive inductive definitions

https://doi.org/10.1007/bf01269951
0 signed · 29 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-540-46825-7openalex-snapshot
Proof Theory: An Introduction
inferredcites →https://doi.org/10.1007/978-3-642-68952-9openalex-snapshot
Foundations of Constructive Mathematics
inferredcites →https://doi.org/10.1007/bf01564760openalex-snapshot
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
inferredcites →https://doi.org/10.1007/bfb0091894openalex-snapshot
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
inferredcites →https://doi.org/10.1016/s0049-237x(08)70847-4openalex-snapshot
Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
inferredcites →https://doi.org/10.1016/s0049-237x(08)71120-0openalex-snapshot
An Introduction to Inductive Definitions
inferredcites →https://doi.org/10.1016/s0049-237x(08)71364-8openalex-snapshot
Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture
inferredcites →https://doi.org/10.1016/s0049-237x(08)71945-1openalex-snapshot
An Intuitionistic Theory of Types: Predicative Part
inferredcites →https://doi.org/10.1016/s0049-237x(09)70683-4openalex-snapshot
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7019-9openalex-snapshot
Constructivism in Mathematics - An Introduction
inferredcites →https://doi.org/10.1093/oso/9780198501275.003.0010openalex-snapshot
An intuitionistic theory of types

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19950410304openalex-snapshot
The Friedman‐Translation for Martin‐Löf's Type Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-84706-7_11openalex-snapshot
Predicativity and Constructive Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_14openalex-snapshot
Proof Theory of Constructive Systems: Inductive Types and Univalence
inferred← citeshttps://doi.org/10.1007/978-3-7643-8653-5_16openalex-snapshot
Proof theory and Martin-Löf Type Theory
inferred← citeshttps://doi.org/10.1007/978-94-007-4435-6_15openalex-snapshot
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
inferred← citeshttps://doi.org/10.1007/bf01278464openalex-snapshot
The strength of some Martin-L�f type theories
inferred← citeshttps://doi.org/10.1007/s001530000051openalex-snapshot
The strength of Martin-Löf type theory with a superuniverse. Part II
inferred← citeshttps://doi.org/10.1007/s001530050140openalex-snapshot
Extending Martin-Löf Type Theory by one Mahlo-universe
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.025openalex-snapshot
Regular universes and formal spaces
inferred← citeshttps://doi.org/10.1016/j.apal.2006.10.003openalex-snapshot
Constructive characterizations of bar subsets
inferred← citeshttps://doi.org/10.1016/s0168-0072(02)00096-9openalex-snapshot
Induction–recursion and initial algebras
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00045-6openalex-snapshot
Predicative functionals and an interpretation of ⌢ID<ω
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00078-xopenalex-snapshot
Well-ordering proofs for Martin-Löf type theory
inferred← citeshttps://doi.org/10.1093/oso/9780192894885.003.0006openalex-snapshot
Constructive Type Theory, An Appetizer
inferred← citeshttps://doi.org/10.1093/oso/9780198501275.003.0012openalex-snapshot
On universes in type theory
inferred← citeshttps://doi.org/10.2307/2695075openalex-snapshot
Interpreting classical theories in constructive ones
inferred← citeshttps://doi.org/10.2307/421015openalex-snapshot
1996 European Summer Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.46298/lmcs-17(3:28)2021openalex-snapshot
W-types in setoids
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.