Back to Results
First PageMeta Content
Differential geometry / Process calculi / Π-calculus / Proof theory / Entailment / Natural deduction / Curry–Howard correspondence / Logic / Deduction / Theoretical computer science


Document Date: 2009-01-23 08:18:41

Open Document

File Size: 156,00 KB

Share Result on Facebook
UPDATE