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’?

Posted by Joe Marshall at 3:05 PM 0 comments

Reactions:

Newer Posts Older Posts Home

Subscribe to: Posts (Atom)

Blog Archive

► 2020 (10)
- ► January (10)

► 2019 (5)
- ► December (5)

► 2016 (4)
- ► January (4)

► 2015 (8)
- ► September (6)
- ► August (2)

► 2014 (11)
- ► September (4)
- ► August (7)

► 2013 (24)
- ► October (2)
- ► September (3)
- ► August (2)
- ► July (12)
- ► May (1)
- ► 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 (62)
- ► December (4)
- ► November (4)
- ► October (5)
- ► September (8)
- ► August (5)
- ► July (8)
- ► June (10)
- ► May (5)
- ► April (13)

► 2006 (1)
- ► December (1)