scientific article; zbMATH DE number 7437706
From MaRDI portal
Publication:5014439
zbMath1476.68157arXiv1508.06779MaRDI QIDQ5014439
Publication date: 2 December 2021
Full work available at URL: https://arxiv.org/abs/1508.06779
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Special properties of functors (faithful, full, etc.) (18A22) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Type theory (03B38)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Non-well-founded trees in categories
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Wellfounded trees in categories
- Containers: Constructing strictly positive types
- Higher-order Algebras and Coalgebras from Parameterized Endofunctors
- A Categorical Semantics for Inductive-Inductive Definitions
- Locally cartesian closed categories and type theory
- Polynomial functors and polynomial monads
- The gentle art of levitation
- A Categorical Treatment of Ornaments
- Types for Proofs and Programs
- Indexed Induction and Coinduction, Fibrationally
This page was built for publication: