Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.