First Page | Document Content | |
---|---|---|
Date: 2016-07-07 08:33:11Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus | The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USAAdd to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 302,64 KBShare Document on Facebook |