Logic and Categories As Tools For Building Theories

zbMath1273.18001arXiv1201.5342MaRDI QIDQ2851822

Samson Abramsky

Publication date: 4 October 2013

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Verified Decision Procedures for Modal Logics.

This page was built for publication: Logic and Categories As Tools For Building Theories