Back to Results
First PageMeta Content
Mathematical logic / Lambda calculus / Logic in computer science / Models of computation / Curry–Howard correspondence / Natural deduction / Symbol / Valuation / Π-calculus / Mathematics / Proof theory / Theoretical computer science


Control in the π-Calculus [Extended Abstract] 1. Kohei Honda
Add to Reading List

Document Date: 2004-01-11 10:44:35

Open Document

File Size: 97,64 KB

Share Result on Facebook
UPDATE