Comments | mrputter: Cut Elimination

mrputter

Oct 14, 2006 14:05

Cut elimination in monoidal type-infused linearly distributive sigma-pi actegories... new and improved with term logics!

( Read more... )

Comments 3

dubaiwalla October 15 2006, 02:52:34 UTC

Shouldn't that be behind a cut on account of looking scary?

mrputter October 15 2006, 03:44:28 UTC

Nono... the whole point is cut elimination...

dubaiwalla October 15 2006, 04:57:44 UTC

I don't know man. It's all Greek to me.