scientific article; zbMATH DE number 7453977

MaRDI QIDQ5019299

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

Publication date: 7 January 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Uses Software

• PlusCal

Cites Work

• Unnamed Item
• Unnamed Item
• Categorical logic and type theory
• Temporal type theory. A topos-theoretic approach to systems and behavior
• Topos Semantics for Higher-Order Modal Logic
• Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
• The PlusCal Algorithm Language
• A categorical manifesto
• A Real-time Semantics of Temporal Logic of Actions
• Reflections on the Categorical Foundations of Mathematics

This page was built for publication: