scientific article; zbMATH DE number 7453977

MaRDI QIDQ5019299FDO

Authors Philip Johnson-Freyd, Jon M. Aytac, Geoffrey C. Hulette

Publication date 7 January 2022

Full work available at URL https://arxiv.org/abs/2009.06834

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3710374 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• A Real-time Semantics of Temporal Logic of Actions
• A categorical manifesto
• Categorical logic and type theory
• Reflections on the categorical foundations of mathematics
• Temporal type theory. A topos-theoretic approach to systems and behavior
• The PlusCal Algorithm Language
• Topos Semantics for Higher-Order Modal Logic
• Towards a common categorical semantics for linear-time temporal logic and functional reactive programming

Cited in

(1)

• Temporal type theory. A topos-theoretic approach to systems and behavior

Describes a project that uses

Uses Software

• PlusCal

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