KnowledgeBase » SEMINAR
» ID = 525
I'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.
PRL Project |
Computer Science Department |
320 Gates Hall, Ithaca, NY 14853 | © 2014 Cornell University
| Prof Constable's Library
| PRL SourceForge Project Page