scientific article; zbMATH DE number 426302
From MaRDI portal
Publication:3137150
Data structures (68P05) Grammars and rewriting systems (68Q42) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65) Fibered categories (18D30) Embedding theorems, universal categories (18B15) Actions of a monoidal category, tensorial strength (18D25)
Recommendations
Cited in
(20)- Deforestation, program transformation, and cut-elimination
- Restriction categories II: Partial map classification
- Covariant types
- Inductive data types for predicate transformers
- Safe recursion revisited. I: Categorical semantics for lower complexity
- Protocol choice and iteration for the free cornering
- Structural induction and coinduction in a fibrational setting
- scientific article; zbMATH DE number 7779295 (Why is no real title available?)
- Monadic vs adjoint decomposition
- μ-Bicomplete Categories and Parity Games
- Categories for computation in context and unified logic
- The Recursion Scheme from the Cofree Recursive Comonad
- Shortcut fusion rules for the derivation of circular and higher-order programs
- scientific article; zbMATH DE number 431768 (Why is no real title available?)
- Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
- Coalgebras as types determined by their elimination rules
- Extending set functors to generalised metric spaces
- Decomposing typed lambda calculus into a couple of categorical programming languages
- Strong categorical datatypes II: A term logic for categorical programming
- Tail recursion through universal invariants
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3137150)
