Keyword:category theory

Publications
Towards an Order and Category Theoretic Model of Java Generics (extended version) Moez Abdelgawad EasyChair Preprint 3631
What Is Quantum Information? Information Symmetry and Mechanical Motion Vasil Penchev EasyChair Preprint 3327
Who Needs Category Theory? Andreas Blass and Yuri Gurevich In:ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
Scheme representation for first-order logic Steve Awodey and Spencer Breiner In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
The Frame Problem and the Semantics of Classical Proofs Graham White In:Turing-100. The Alan Turing Centenary