Advances in Linear Logic by Yves LaFont, LaFont Yves, Laurent Regnier, Jean-Yves Girard, Regnier Laurent

Advances in Linear Logic

London Mathematical Society Lecture Note

Yves LaFont, LaFont Yves, Laurent Regnier, Jean-Yves Girard, Regnier Laurent

missing page info Add in missing page information • missing pub info (view editions)

nonfiction mathematics science medium-paced
Powered by AI (Beta)
Loading...

Description

This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this bo...

Read more

Community Reviews

Loading...

Content Warnings

Loading...