Back to Results
First PageMeta Content
Proof theory / Linear logic / Logic programming / Sequent / Natural deduction / Intuitionistic logic / Cut-elimination theorem / Interpretation / Well-formed formula / Logic / Mathematical logic / Mathematics


1 An Overview of Linear Logic Programming Dale Miller
Add to Reading List

Document Date: 2003-09-29 10:45:32

Open Document

File Size: 260,46 KB

Share Result on Facebook
UPDATE