Proofs Without Syntax.
Annals of Mathematics 143(3), 1065-1076, Nov 2006.
[abstract -
pdf -
ps -
ps.gz -
arxiv -
bibtex]
Towards Hilbert's 24th
Problem: Combinatorial Proof Invariants (Preliminary version)
[abstract -
pdf -
ps.gz]
Proceedings of WoLLIC 2006. ENTCS 165, 2006.
Hypergame Semantics: Ten years later. Slides for GaLoP'06, Seattle, August 2006.
Combinatorial Proof Semantics [pdf] January 2006. A draft version of Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Preliminary version).
Simple free star-autonomous categories and full coherence
[abstract -
pdf -
ps.gz -
arxiv -
bibtex]
Draft, July 2005.
Proof Nets for unit-free Multiplicative-Additive Linear Logic, with
Rob van Glabbeek
as second author. ACM Transactions on Computational Logic, 2005.
[abstract -
pdf -
ps -
ps.gz -
bibtex]
A classical sequent calculus free of structural rules
[abstract -
pdf -
ps -
ps.gz -
tex -
arxiv -
bibtex]
June 2005. Submitted.
Classical Logic = Fibred MLL
[abstract -
slides -
pdf -
ps -
ps.gz -
arxiv -
bibtex]
2-page paper accepted for short presentation at LICS 2005.
Modelling Linear Logic without Units (Preliminary Results).
With Robin Houston and Andrea Schalk.
Draft, April 2005.
[abstract -
pdf -
ps -
ps.gz -
arxiv]
Simple multiplicative proof nets with units.
March 2005; section 7 revised August 3, 2006.
[abstract -
pdf -
bibtex]
Logic Without Syntax.
January 2005.
[abstract -
pdf -
ps -
ps.gz -
arxiv -
bibtex]
Intensional double glueing, biextensional collapse,
and the Chu construction.
Electronic Notes in Theoretical Computer Science 83, 2004.
[abstract -
pdf -
ps -
ps.gz -
dvi -
tex -
bibtex]
Deep inference proof theory equals categorical proof theory minus coherence.
Unfinished draft, October 6, 2004.
[abstract -
pdf -
ps -
ps.gz -
dvi -
bibtex]
U.S. Patent application: Input Systems and Methods for the Evaluation and
Optimization of Same,
with James Warren (second inventor) and Orkut Buyukkokten (third inventor). Filed 2004,
via Stanford University Office of Technology Licensing.
[abstract]
Information Hiding, Anonymity and Privacy: a Modular Approach,
with
Vitaly Shmatikov.
Journal
of Computer Security 12.1, 3-36, 2004.
[abstract -
pdf -
ps -
ps.gz -
bibtex]
Proof Nets for unit-free Multiplicative-Additive Linear Logic
(Extended abstract), with
Rob van Glabbeek
as second author.
Logic in
Computer Science, 2003.
[abstract -
FAQ -
Slides -
pdf -
ps -
ps.gz -
tex -
bibtex]
footnote.
A canonical graphical syntax for non-empty finite products and sums.
Technical report, 2002.
[abstract -
pdf -
ps -
ps.gz -
bibtex]
Empirical Bi-action Tables: a Tool for the Evaluation and
Optimization of Text Input Systems,
with
James Warren (second author) and
Orkut
Buyukkokten (third author).
Journal of Human-Computer Interaction, 2002.
[abstract -
pdf]
Understanding Sequentialization.
Technical report, 2001.
[abstract -
pdf -
ps -
ps.gz -
bibtex]
Hypergame Semantics: Full Completeness for System F.
D.Phil. (=Ph.D.) Mathematical Sciences,
Oxford University, 2000.
[abstract -
pdf -
ps -
ps.gz -
bibtex]
Full completeness of the multiplicative linear logic of Chu spaces,
with
Harish Devarajan,
Gordon Plotkin, and
Vaughan Pratt.
Logic in Computer Science, 1999.
[abstract -
pdf -
ps -
ps.gz -
dvi -
dvi.gz -
bibtex]
Games and Definability for System F.
Logic in Computer Science, 1997.
[abstract -
pdf -
ps -
ps.gz -
dvi -
bibtex]