That Logic Blog

May 31, 2007

Galavanting

I fly off to the land up over on Saturday to attend various things as well as for a bit of a holiday. For the insatiably curious, there is a preprint floating around now covering the things I will be talking about: Coherence without unique normal forms.