Pages that link to "Item:Q1331920"
From MaRDI portal
The following pages link to Realizability interpretation of generalized inductive definitions (Q1331920):
Displaying 7 items.
- A convenient category of locally preordered spaces (Q1037410) (← links)
- Game-theoretic inductive definability (Q1314543) (← links)
- Generalized definitional reflection and the inversion principle (Q2470764) (← links)
- Realisability and adequacy for (co)induction (Q2917339) (← links)
- Monotone recursive definition of predicates and its realizability interpretation (Q5096211) (← links)
- MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK (Q5249247) (← links)
- A New Translation for Semi-classical Theories — Backtracking without CPS (Q5458438) (← links)