scientific article; zbMATH DE number 7453968

MaRDI QIDQ5020949zbMATH OpenFDO

Authors Vladimir Zamdzhiev

Publication date 7 January 2022

Full work available at URL https://arxiv.org/abs/1906.09649, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2019.2

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX) Computer science (68-XX)

Recommendations

• Algebraically compact functors
• Affine-compact functors
• scientific article; zbMATH DE number 4017120
• scientific article; zbMATH DE number 3912568
• scientific article; zbMATH DE number 3877806
• scientific article; zbMATH DE number 3908653
• scientific article; zbMATH DE number 7379294
• scientific article; zbMATH DE number 722228
• scientific article; zbMATH DE number 431762
• Reflexive algebras and sigma algebras

Cites work

• A categorical model for a quantum circuit description language (extended abstract)
• Algebraic specification of data types: A synthetic approach
• Algebraically compact functors
• Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• LNL-FPC: the linear/non-linear fixpoint calculus
• Quantum programming with inductive datatypes: causality and affine type theory
• Semantics for first-order affine inductive data types via slice categories
• The Category-Theoretic Solution of Recursive Domain Equations

Cited in

(3)

• scientific article; zbMATH DE number 3908653 (Why is no real title available?)
• scientific article; zbMATH DE number 3912568 (Why is no real title available?)
• Reflecting Algebraically Compact Functors

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 Q5020949)