First Page | Document Content | |
---|---|---|
Date: 2012-06-25 20:34:16Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory | Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software SystemsAdd to Reading ListSource URL: www.cs.cmu.eduDownload Document from Source WebsiteFile Size: 271,52 KBShare Document on Facebook |