Pages that link to "Item:Q5277827"
From MaRDI portal
The following pages link to Non-wellfounded trees in Homotopy Type Theory (Q5277827):
Displaying 8 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)
- Formal definitions and proofs for partial (co)recursive functions (Q6615564) (← links)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)
