First Page | Document Content | |
---|---|---|
![]() Date: 2009-05-19 04:45:33Type theory Computability theory Functions and mappings Recursion Lambda calculus Administrative normal form Type system Function Primitive recursive function Mathematics Mathematical logic Software engineering | Source URL: agi-conf.orgDownload Document from Source WebsiteFile Size: 148,10 KBShare Document on Facebook |