scientific article; zbMATH DE number 426302

zbMATH Open0792.18008MaRDI QIDQ3137150FDOQ3137150

Authors: Dwight Spencer, J. R. B. Cockett 

Publication date: 4 November 1993

Title of this publication is not available (Why is that?)

Recommendations

• Strong categorical datatypes II: A term logic for categorical programming
• A note on categorical datatypes
• scientific article; zbMATH DE number 49833
• scientific article; zbMATH DE number 431768
• Comparing Hagino's categorical programming language and typed lambda- calculi

zbMATH Keywords

fibrationsstrengthstrong datatypes

Mathematics Subject Classification ID

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)

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
• Title not available (Why is that?)
• Monadic vs adjoint decomposition
• μ-Bicomplete Categories and Parity Games
• The Recursion Scheme from the Cofree Recursive Comonad
• Categories for computation in context and unified logic
• Shortcut fusion rules for the derivation of circular and higher-order programs
• Title not available (Why is that?)
• 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)