Publications

• 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).
  PS | PDF | DVI
  
  
• A Classification of Hidden-Variable Properties
  (with Adam Brandenburger). (February 2007).
  
  
• Towards a Definition of an Algorithm
  (December 2005).
  PS | PDF | DVI
  
  
• A Computational Approach to Biblical Hebrew Conjugation
  (with Joachim Lambek). In Computational Algebraic Approaches to Morphology and Syntax
  Edited by C. Casadio and J. Lambek. Polimetrica, Monza (Milan)(Feburary 2005).
  PS | PDF | DVI
  
  
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
  The Bulletin of Symbolic Logic. (September 2004).
  PS | PDF | DVI
  
  
• Coherence, Homotopy and 2-Theories
  K-Theory 23: Pgs 203 - 235. (2001).
  
  
• The Syntax of Coherence
  Cahiers de Topo. Geom. Diff. Cat. Vol XLI-4 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).

Main Home Page