scientific article; zbMATH DE number 7830391

DOI10.4230/LIPICS.CSL.2022.35MaRDI QIDQ6124971zbMATH OpenFDO

Authors

Publication date 10 April 2024

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

zbMATH Keywords

combinatory algebraexchange modalityexponential modalitymonoidal bi-closed categoryrealizability

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(2)

• The internal operads of combinatory algebras
• Combinatory completeness instructured multicategories

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