Other:
Normalization without syntax
[pdf]
Formal Structures for Computation and Deduction, 2022.
With Willem Heijltjes and Lutz Straßburger
Unsupervised Extractive Text Summarization with Distance-Augmented Sentence Graphs
[pdf]
SIGIR, 2021.
With Jingzhou Liu and
Yiming Yang.
Combinatorial Proofs and Decomposition Theorems for First-order Logic
[pdf]
Logic in Computer Science, 2021.
With Lutz Straßburger
and Jui-Hsuan Wu
First-order proofs without syntax
[abstract
pdf]
arXiv:1906.11236, June 2019
Intuitionistic proofs without syntax
[pdf]
Logic in Computer Science, 2019.
With Willem Heijltjes and Lutz Straßburger
Proof nets for first-order additive linear logic
[pdf]
FSCD 2019.
With Willem Heijltjes and Lutz Straßburger
Unification nets: canonical proof net quantifiers
[abstract
pdf]
Logic in Computer Science, 2018.
Conflict nets: Efficient canonical MALL proof nets
[abstract
pdf]
Logic in Computer Science, 2016.
With Willem Heijltjes
Complexity Bounds for Sum-Product Logic via Proof Nets and Petri Nets
[abstract
pdf
ps.gz
bibtex]
Logic in Computer Science, 2015.
With Willem Heijltjes
Simple free star-autonomous categories and full coherence
[abstract
pdf
ps.gz
arxiv
bibtex]
Journal of Pure and Applied Algebra, 2012
Simple multiplicative proof nets with units
[abstract
pdf
bibtex]
To appear in Annals of Pure and Applied Logic. (Linked version is early draft.)
A minimal classical sequent calculus free of structural rules
[abstract
arxiv
bibtex]
Annals of Pure and Applied Logic 161(10), 1244-1253, July 2010
Linking diagrams for free
[abstract
pdf
arxiv]
Draft, May 2008. (Comments welcome.)
Input Systems and Methods for the Evaluation and
Optimization of Same [abstract]
U.S. Patent 7259751 (2007)
with James Warren (second inventor) and Orkut Buyukkokten (third inventor)
Towards Hilbert's 24th
Problem: Combinatorial Proof Invariants (Preliminary version)
[abstract
pdf
ps.gz]
Proceedings of WoLLIC 2006. ENTCS 165, 2006.
Proofs without syntax
[abstract
pdf arxiv draft
bibtex]
Annals of Mathematics 143(3), 1065-1076, Nov 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)
Proof Nets for unit-free Multiplicative-Additive Linear Logic [abstract
pdf
ps
ps.gz
bibtex]
With Rob van Glabbeek
as second author. ACM Transactions on Computational Logic 6(4) 2005
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) [abstract
pdf
ps
ps.gz
arxiv]
With Robin Houston and Andrea Schalk.
Draft, April 2005
Logic Without Syntax [abstract
pdf
ps
ps.gz
arxiv
bibtex]
Draft of January 2005
Intensional double glueing, biextensional collapse,
and the Chu construction [abstract
pdf
ps
ps.gz
dvi
tex
bibtex]
Electronic Notes in Theoretical Computer Science 83, 2004
Deep inference proof theory equals categorical proof theory minus coherence
[abstract
pdf
ps
ps.gz
dvi
bibtex]
Unfinished draft, October 6, 2004
Information Hiding, Anonymity and Privacy: a Modular Approach
[abstract
pdf
ps
ps.gz
bibtex]
with
Vitaly Shmatikov.
Journal
of Computer Security 12.1, 3-36, 2004
Proof Nets for unit-free Multiplicative-Additive Linear Logic
(Extended abstract)
[abstract
FAQ
Slides
pdf
ps
ps.gz
tex
bibtex]
With Rob van Glabbeek as second author.
Logic in Computer Science, 2003
A canonical graphical syntax for non-empty finite products and sums
[abstract
pdf
ps
ps.gz
bibtex]
Technical report, 2002
Empirical Bi-action Tables: a Tool for the Evaluation and
Optimization of Text Input Systems
[abstract
pdf]
With
James Warren (second author) and
Orkut
Buyukkokten (third author).
Journal of Human-Computer Interaction 2002
Understanding Sequentialization
[abstract
pdf
ps
ps.gz
bibtex]
Technical report, 2001.
Hypergame Semantics: Full Completeness for System F
[abstract
pdf
ps
ps.gz
bibtex]
D.Phil. (=Ph.D.) Mathematical Sciences,
Oxford University, 2000
Full completeness of the multiplicative linear logic of Chu spaces
[abstract
pdf
ps
ps.gz
dvi
dvi.gz
bibtex]
With
Harish Devarajan,
Gordon Plotkin, and
Vaughan Pratt.
Logic in Computer Science, 1999
Games and Definability for System F
[abstract
pdf
ps
ps.gz
dvi
bibtex]
Logic in Computer Science, 1997