The following pages link to Types for Proofs and Programs (Q5712306):
Displaying 33 items.
- Monads in double categories (Q531324) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- Polynomial functors and opetopes (Q984889) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- On semiflexible, flexible and pie algebras (Q1946170) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- Actads (Q2169098) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- Constructive membership predicates as index types (Q2866329) (← links)
- C-systems defined by universe categories: presheaves (Q2963470) (← links)
- Polynomial Functors and Trees (Q3079528) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- Directed Containers as Categories (Q5013830) (← links)
- (Q5014439) (← links)
- Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
- On Church’s thesis in cubical assemblies (Q5055494) (← links)
- (Q5094144) (← links)
- Variations on inductive-recursive definitions (Q5111280) (← links)
- (Q5155674) (← links)
- W-types in setoids (Q5155691) (← links)
- Indexed containers (Q5371943) (← links)
- The essence of ornaments (Q5372005) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- (Q5875411) (← links)
- GADTs, functoriality, parametricity: pick two (Q6661153) (← links)
