Curry-Howard-Lambek correspondence - Revision history

Newacct at 21:35, 21 February 2010

Newacct — Sun, 21 Feb 2010 21:35:39 GMT

Ertai — Sun, 09 Nov 2008 11:08:27 GMT

Add a missing parenthesis

KirstenChevalier — Thu, 02 Aug 2007 23:29:41 GMT

typo

KirstenChevalier — Thu, 02 Aug 2007 23:28:09 GMT

rewrite "multi-parameter type classes" intro

AaronDenney — Tue, 10 Jul 2007 19:53:39 GMT

not actually a quicksort -- not in place, etc.

BrettGiles — Thu, 01 Feb 2007 19:54:52 GMT

Add infobox

Stefan — Tue, 28 Nov 2006 01:04:12 GMT

describe negation

Uchchwhash — Sat, 18 Nov 2006 13:48:56 GMT

inhibit -> inhabit

BrettGiles — Mon, 06 Nov 2006 20:59:52 GMT

Revise intro to be more descriptive of three way correspondance; links

Uchchwhash — Sun, 05 Nov 2006 06:11:10 GMT

fmt, accidentally overwrote dons' fmts