scientific article; zbMATH DE number 431766
zbMATH Open0789.18007MaRDI QIDQ3138542FDOQ3138542
Authors: Max Kelly 
Publication date: 6 June 1994
Title of this publication is not available (Why is that?)
Recommendations
- Categorical aspects of data type constructors
- scientific article; zbMATH DE number 1722656
- On the Implementation of Construction Functions for Non-free Concrete Data Types
- On the implementation of abstract data types by programming language constructs
- scientific article; zbMATH DE number 3898212
- scientific article; zbMATH DE number 1292292
- Computer Science Logic
- Types for Proofs and Programs
- On lists and other abstract data types in the calculus of constructions
- scientific article; zbMATH DE number 1512607
listclubmonadenriched categoriesmonoidal category2-categoriesfactorization systemsymmetric monoidal closed categoriescategory with finite limitscategory of monoidsdata-type constructors
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)
Cited In (15)
- Canonical Gradings of Monads
- Fibrations and partial products in a 2-category
- Higher dimensional categories: induction on extensivity
- Quotients, inductive types, and quotient inductive types
- A unified framework for notions of algebraic theory
- Double clubs
- The universal property of the multitude of trees
- Variations on the bagdomain theme
- Decomposing Comonad Morphisms.
- An Australian conspectus of higher categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Operads within monoidal pseudo algebras
- Polycategories via pseudo-distributive laws
- 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 Q3138542)
