Back to Results
First PageMeta Content
Mathematical 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 List

Document Date: 2009-08-14 07:09:04


Open Document

File Size: 269,58 KB

Share Result on Facebook
UPDATE