First Page | Document Content | |
---|---|---|
Date: 2004-01-11 10:44:35Mathematical 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 HondaAdd to Reading ListSource URL: www.cs.bham.ac.ukDownload Document from Source WebsiteFile Size: 97,64 KBShare Document on Facebook |