First Page | Document Content | |
---|---|---|
Date: 2009-08-14 07:09:04Process 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 2Add to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 271,14 KBShare Document on Facebook |