Pages that link to "Item:Q2566024"

The following pages link to Containers: Constructing strictly positive types (Q2566024):

Displaying 43 items.

• Coalgebraic update lenses (Q283736) (← links)
• Coalgebras in functional programming and type theory (Q639643) (← links)
• Non-well-founded trees in categories (Q876383) (← links)
• Complexity bounds for container functors and comonads (Q1640987) (← links)
• The universal exponentiable arrow (Q2078410) (← links)
• Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
• Deep induction: induction rules for (truly) nested types (Q2200833) (← links)
• Universal properties of bicategories of polynomials (Q2421332) (← links)
• Incremental Computing with Abstract Data Structures (Q2798280) (← links)
• Continuous Functions on Final Coalgebras (Q2805147) (← links)
• A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
• Modular Dependent Induction in Coq, Mendler-Style (Q2829276) (← links)
• Constructive Membership Predicates as Index Types (Q2866329) (← links)
• Comonadic Notions of Computation (Q2873672) (← links)
• Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (Q2888481) (← links)
• Proving Properties about Functions on Lists Involving Element Tests (Q2890338) (← links)
• A Mechanized Theory of Regular Trees in Dependent Type Theory (Q2945653) (← links)
• Friends with Benefits (Q2988636) (← links)
• Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
• Galois Connections for Recursive Types (Q3297839) (← links)
• A UNIVERSE OF STRICTLY POSITIVE FAMILIES (Q3620616) (← links)
• Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
• Polynomial functors and polynomial monads (Q4902505) (← links)
• A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
• Directed Containers as Categories (Q5013830) (← links)
• (Q5014439) (← links)
• (Q5020620) (← links)
• Partiality and Container Monads (Q5056003) (← links)
• The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
• (Q5094144) (← links)
• Variations on inductive-recursive definitions (Q5111280) (← links)
• (Q5216301) (← links)
• Indexed containers (Q5371943) (← links)
• Homotopical patch theory (Q5371976) (← links)
• A linear category of polynomial diagrams (Q5740350) (← links)
• W-types in homotopy type theory (Q5740651) (← links)
• Containers, monads and induction recursion (Q5741557) (← links)
• Decomposing Comonad Morphisms. (Q5875355) (← links)
• Protocol choice and iteration for the free cornering (Q6151626) (← links)
• Stabilized profunctors and stable species of structures (Q6563041) (← links)
• Formal definitions and proofs for partial (co)recursive functions (Q6615564) (← links)
• Inductive and coinductive predicate liftings for effectful programs (Q6653761) (← links)