skip to main
|
skip to sidebar
Abstract Heresies
Unorthodox opinions on computer science and programming.
Thursday, January 17, 2008
Linearity
What exactly is ‘linear’ about ‘linear logic’?
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)
Related Pages
Code
Home Page
Hyperspec Search
Lisp Search
Blog Archive
►
2013
(4)
►
April
(2)
►
March
(1)
►
January
(1)
►
2012
(14)
►
August
(1)
►
July
(1)
►
June
(1)
►
April
(3)
►
March
(3)
►
February
(2)
►
January
(3)
►
2011
(51)
►
November
(4)
►
October
(9)
►
September
(4)
►
August
(1)
►
April
(5)
►
March
(9)
►
February
(10)
►
January
(9)
►
2010
(57)
►
December
(4)
►
October
(1)
►
September
(1)
►
August
(8)
►
July
(1)
►
June
(8)
►
May
(8)
►
April
(18)
►
March
(4)
►
February
(3)
►
January
(1)
►
2009
(114)
►
December
(5)
►
November
(2)
►
October
(13)
►
September
(10)
►
August
(9)
►
July
(19)
►
June
(6)
►
May
(7)
►
April
(12)
►
March
(21)
►
January
(10)
▼
2008
(65)
►
December
(1)
►
November
(2)
►
October
(4)
►
September
(7)
►
August
(13)
►
July
(11)
►
May
(5)
►
April
(8)
►
March
(8)
►
February
(5)
▼
January
(1)
Linearity
►
2007
(63)
►
December
(4)
►
November
(4)
►
October
(5)
►
September
(8)
►
August
(5)
►
July
(8)
►
June
(10)
►
May
(5)
►
April
(13)
►
March
(1)
►
2006
(1)
►
December
(1)
Contributors
Joe Marshall
jmarshall
Followers