First Page | Document Content | |
---|---|---|
Date: 2016-08-23 03:13:56Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system | Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ieAdd to Reading ListSource URL: www.edsko.netDownload Document from Source WebsiteFile Size: 220,19 KBShare Document on Facebook |