September 18th, 2001

beartato phd

-

Finally went to Linear Logic.
Almost forgot about it again, but Kaustuv reminded me.