First Page | Document Content | |
---|---|---|
Date: 2005-05-04 19:43:00Logic in computer science Deduction Propositional calculus Logical consequence Natural deduction Logic programming Linear logic Entailment Sequent calculus Logic Mathematical logic Proof theory | Monadic Concurrent Linear Logic Programming Pablo Lopez ´ Frank PfenningAdd to Reading ListSource URL: www.cs.cmu.eduDownload Document from Source WebsiteFile Size: 117,94 KBShare Document on Facebook |