Pages that link to "Item:Q3822156"
From MaRDI portal
The following pages link to A construction of non-well-founded sets within Martin-Löf's type theory (Q3822156):
Displaying 5 items.
- Constructive sets in computable sets (Q1372877) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- A computable expression of closure to efficient causation (Q1617623) (← links)
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
