First Page | Document Content | |
---|---|---|
Date: 2009-08-14 07:09:04Mathematical logic Mathematics Theoretical computer science Lambda calculus Deductive reasoning Natural deduction Proof theory Symbol System F -calculus Holomorphic functional calculus Security type system | ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,Add to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 269,58 KBShare Document on Facebook |