PRL Seminars
Alexei Kopylov
Decidability of Linear Affine LogicNovember 1, 1999
CommentI'll give the definition of linear logic and try to explain its rules.Also I'm going to show Girard's embedding of intuitionistic logic into linear logic. Slides
|
| Home |