Combinatory completeness instructured multicategories

DOI10.1007/978-3-032-22469-9_16MaRDI QIDQ7287087zbMATH OpenFDO

Authors Ivan Kuzmin, Chad Nester, Ülo Reimaa, Sam Speight

Publication date 23 June 2026

Full work available at URL https://doi.org/10.1007/978-3-032-22469-9_16

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A braided lambda calculus
• A categorical equivalence of proofs
• A category-theoretic characterization of functional completeness
• A unified framework for generalized multicategories
• Braids, twists, trace and duality in combinatory algebras
• Combinatory logic. With two sections by William Craig.
• Finite sets and symmetric simplicial sets
• Geometry of Interaction and linear combinatory algebras
• Grundlagen der kombinatorischen Logik. II.
• Higher-dimensional word problems with applications to equational logic
• Hipparchus, Plutarch, Schroder, and Hough
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3384257 (Why is no real title available?)
• scientific article; zbMATH DE number 3384258 (Why is no real title available?)
• scientific article; zbMATH DE number 7830391 (Why is no real title available?)
• Title not available (Why is no real title available?)
• Introduction to Turing categories
• Linear Realizability
• Realizability without symmetry
• Term Rewriting and Applications
• The internal operads of combinatory algebras
• The lambda calculus, its syntax and semantics
• Über die Bausteine der mathematischen Logik.

This page was built for publication: Combinatory completeness instructured multicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7287087)