scientific article; zbMATH DE number 7453977

MaRDI QIDQ5019299FDOQ5019299

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cites Work

• Categorical logic and type theory
• Title not available (Why is that?)
• A categorical manifesto
• The PlusCal Algorithm Language
• Towards a common categorical semantics for linear-time temporal logic and functional reactive programming
• Reflections on the categorical foundations of mathematics
• Title not available (Why is that?)
• A Real-time Semantics of Temporal Logic of Actions
• Temporal type theory. A topos-theoretic approach to systems and behavior
• Topos Semantics for Higher-Order Modal Logic

Cited In (1)

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

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)