Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The logic of linear functors - MaRDI portal

The logic of linear functors

From MaRDI portal

Publication:4792946

Jump to:navigation, search

DOI10.1017/S0960129502003717zbMath1020.03063MaRDI QIDQ4792946

R. A. G. Seely, Richard F. Blute, J. Robin B. Cockett

Publication date: 5 October 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

cut elimination categorical semantics affine bunched logic functor logic linear distributive functor linear modal logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

A categorical semantics for polarized MALL ⋮ Multiplicative Linear Logics and Fibrations

This page was built for publication: The logic of linear functors

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4792946&oldid=19094064"