Drafts, Slides, Unpublished Work
My TeX Macros
My BibTeX File

2010
Focused Linear Semantics of Modal Logic
2009
Focusing as Token-Passing
Queue Logic: An Undisplayable Logic?
Notes on Labelling Linear Logic
A Judgmental Deconstruction of Modal Logic
[LaTeX]
2008
Focalizing Linear Logic in Itself
Speculations on Weak ω-structures
[LaTeX]
Names are (mostly) Useless (WMM'08)
[LaTeX]
Names via Substructural and Dependent Types (draft talk slides)
Translating Focusing into Ordered Logic
Base-Type Polymorphism in LF
2007
Cyclic Dependent Types
TinyLF: A Compact Definition of a Logical Framework
[LaTeX]
Properties of Hereditary Substitution without Type Indices
Modular Proof of Completeness of Focusing
[PS] [Twelf]
Terminating Untyped Hereditary Substitution
[PS]
The Identity Theorem in Hereditary Spine Form
[PS]
2006
A Comonadic Generalization of Top
[LaTeX]
Labelled LF Notes
[PS]
Canonical Forms in a Hybrid Logical Framework

Proof Irrelevance with Hereditary Substitution
[LaTeX] [PDF]
2005
Letcc elimination in labelled natural deduction

2004
Slides for seminar talk on EML
Classical Truth as a Modal Operator
2003
Slides for TPHOLs 2003 talk
2002
Revision of (Pfenning LICS'01)
(Work in progress)
[LaTeX]
Proof Irrelevance in a Logical Framework
(Senior Thesis Extended Abstract, work in progress)
[LaTex]
2001
LF with Irrelevance and Notational Definitions
(Senior Thesis research in progress)
[LaTeX]
Slides on the Join Calculus
(Slides for my 15-819 Seminar on Languages for Mobile Computation talk, Fall 2001)
[LaTeX] [PS (2)]
Notes on MacLane & Moerdijk Chapter IV
(Notes for my 80-820 Topos Theory Seminar talk, Spring 2001)
[LaTeX]
Notes on Split Coequalizers
Notes on the internal category functor
(Contains conjectures I later found out to be well-known falsehoods)
[TeX] [DVI]
2000
Priorities and Comonads
(Actually, the idea of semimonads (a "priority" as defined here is a sort of semicomonad) does appear in the literature in the more general setting of 2-categories, but I lost the reference. Somewhere in an Australian Mathematical Society journal, if I remember correctly)
[LaTeX] [DVI]