First Page | Document Content | |
---|---|---|
Date: 2004-11-03 09:40:39Logic in computer science Lambda calculus Models of computation Combinatory logic First-order logic Substitution Symbol Natural deduction | The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale UniversityAdd to Reading ListSource URL: www.itu.dkDownload Document from Source WebsiteFile Size: 225,06 KBShare Document on Facebook |