Archive for the ‘General’ Category

Dissection

Tuesday, October 3rd, 2006

Began dissecting at the weekend. Clowns to the left of me, jokers to the right is the story so far. But there aren’t half still some jokers to the right.

Skeletons

Thursday, March 23rd, 2006

Fixpoints of Indexed Containers

Sunday, January 22nd, 2006

Plain containers and linear logic…

Tuesday, August 23rd, 2005

lolly, tensor, no bang

Wednesday, August 17th, 2005

The universal property of logarithms

Tuesday, August 2nd, 2005

Roman Containers

Saturday, July 2nd, 2005

Container Drivers

Tuesday, June 28th, 2005

What is a Naperian container?

Sunday, June 19th, 2005

Any mpt is iso to some dc.

Thursday, June 16th, 2005