Publications
 Computability and Complexity of Categorical Structures 2015.
 Why Mathematics Works So Well A fourth place winner in the FQXi 2015 essay contest Trick or Truth: the Mysterious Connection Between Physics and Mathematics.
 The Role of Symmetry in Mathematics with Mark Zelcer, 2015.
 Resolving Paradoxes Philosophy Now, February 2015
 Mathematics via Symmetry with Mark Zelcer, 2013.
 Kolmogorov Complexity of Categories
In Computation, Logic, Games, and Quantum Foundations  The Many Facets of Samson Abramsky
Edited by Bob Coecke, Luke Ong, Prakash Panangaden. Springer LNCS 7860, 2013.
 Galois Theory of Algorithms
2013.
 Towards a Definition of an
Algorithm
Journal of Logic and Computation, 2010.
 An Introduction to Quantum
Computing
In Logic at the Crossroads: An Interdisciplinary View Edited
by
Amitabha Gupta, Rohit Parikh and Johan van Benthem, July, 2007.
 A Classification of
HiddenVariable Properties
With Adam Brandenburger. Journal of Physics A: Mathematical
and Theoretical 41 (2008) 425302, September, 2008.
 A Computational Approach to Biblical Hebrew
Conjugation
(with Joachim Lambek).
In Computational Algebraic Approaches to Natural Language
Edited by C. Casadio and J. Lambek. Polimetrica, Monza (Milan), Feburary, 2005.
PS  PDF  DVI
 A Universal
Approach to
SelfReferential Paradoxes, Incompleteness and Fixed Points The Bulletin of Symbolic Logic. (September 2004).

Coherence, Homotopy and
2Theories
KTheory 23: Pgs 203  235. (2001).

The Syntax of
Coherence Cahiers de Topo. Geom. Diff. Cat. Vol XLI4 Pgs 255  304. (2000).

Algebraic Theories in Quantum Field Theories and
Quantum Algebra: A
Proposal
An NSF proposal with a lot of good ideas.
PS  PDF  DVI

Obstructions to
Coherence:
Noncoherent
Associativity
The Journal of Pure & Applied Algebra. 147 no. 2, Pgs 175  213. (2000).