Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers

DOI10.1007/978-3-031-24117-8_27MaRDI QIDQ6612803

Could not fetch data.

Publication date: 1 October 2024

Could not fetch data.

This page was built for publication: Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers

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