Revision as of 14:53, 26 March 2025 edit Marc Schroeder (talk \| contribs) Extended confirmed users 2,272 edits mNo edit summary ← Previous edit		Revision as of 14:58, 26 March 2025 edit undo Marc Schroeder (talk \| contribs) Extended confirmed users 2,272 edits mNo edit summary Next edit →
Line 378: \|} Linear distributions are fundamental in the proof theory of linear logic. The consequences of this map were first investigated in ~~{{sfn\|~~Cockett\| & Seely\| (1997}}) and called a "weak distribution".{{sfn\|Cockett\|Seely\|1997}} In subsequent work it was renamed to "linear distribution" to reflect the fundamental connection to linear logic. ; Other implications :

Linear logic: Difference between revisions