Realizability without symmetry

DOI10.4230/LIPICS.CSL.2021.38MaRDI QIDQ6839796zbMATH OpenFDO

Authors

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2021.38

zbMATH Keywords

closed categoryclosed multicategorycombinatory algebrarealizabilityskew closed category

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited in

(1)

• Combinatory completeness instructured multicategories

This page was built for publication: Realizability without symmetry

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