Dominic Hughes
-
Selected Papers
Classical Logic = Fibred MLL
Slides [
pdf
-
ps.gz
-
ps
] of the short talk at
LICS'05
in Chicago, 26 June 2005. I'm indebted to
Vaughan Pratt
for stepping in at the last minute to give the talk, and designing many of the slides.