First Page | Document Content | |
---|---|---|
Date: 2016-08-02 06:27:04Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory | Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008Add to Reading ListSource URL: www.edsko.netDownload Document from Source WebsiteFile Size: 262,31 KBShare Document on Facebook |