Pages that link to "Item:Q5277827"
From MaRDI portal
The following pages link to Non-wellfounded trees in Homotopy Type Theory (Q5277827):
Displaying 6 items.
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- Cubical Agda: A dependently typed programming language with univalence and higher inductive types (Q5016211) (← links)
- (Q5028425) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- (Q5155674) (← links)