Pages that link to "Item:Q678845"
From MaRDI portal
The following pages link to A presentation of the initial lift-algebra (Q678845):
Displayed 5 items.
- Inductive types and exact completion (Q556819) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- Domains in \(H\) (Q5941556) (← links)