Back to Results
First PageMeta Content
Logical consequence / Philosophical logic / Formal systems / Metalogic / Logical framework / Linear logic / Axiom / Soundness / Inference / Logic / Deduction / Proof theory


A Hybrid Logical Framework Jason Reed CMU-CS[removed]September 17, 2009
Add to Reading List

Document Date: 2009-10-03 17:03:32


Open Document

File Size: 960,55 KB

Share Result on Facebook
UPDATE