Paul-Andre Mellies
- Title: Double Categories: a modular model of multiplicative linear logic
- Author: Paul-Andre Mellies
- URL: http://citeseer.ist.psu.edu/723469.html
- Title: Categorical Models Of Linear Logic Revisited (2002)
- Author: Paul-Andre Mellies
- URL: http://citeseer.ist.psu.edu/mellies02categorical.html
ニックベントン(Nick Benton)の線形非線形圏(linear non-linear category)というワケワカラン概念が説明されている。