Pages that link to "Item:Q4635888"
From MaRDI portal
The following pages link to Type Theory based on Dependent Inductive and Coinductive Types (Q4635888):
Displaying 6 items.
- Undecidability of equality for codata types (Q1798783) (← links)
- A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- (Q5094144) (← links)
- (Q5216301) (← links)
- (Q5875411) (← links)
