Back to Results
First PageMeta Content
Process calculi / Theoretical computer science / -calculus / Expected value / Mathematics / Creativity / Abstraction


Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2
Add to Reading List

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


Open Document

File Size: 271,14 KB

Share Result on Facebook