Back to Results
First PageMeta Content
Logic 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 Pfenning
Add to Reading List

Document Date: 2005-05-04 19:43:00

Open Document

File Size: 117,94 KB

Share Result on Facebook
UPDATE