Reflective Programs in Tree Calculus (EPUB,AZW3)
This post was published 2 years ago. Download links are most likely obsolete. If that's the case, try asking the uploader to re-upload.
English | 18 May 2021 | ASIN : B095BPM2MF | 428 pages | PDF, AZW3, EPUB | 11.26 MB
Tree calculus is seeded by a single operator, whose self-application gives rise to pow- erful reflective programs including a size program that can compute its own size, an equality program that can decide its own equality, and a self-evaluator that can evaluate itself. This is achieved without any of the usual outside machinery, such as the Gödel numbering of Turing machines, the quotation of lambda-abstractions or serialisation of programs. The resulting theory of computation is both simple and powerful: simple because it is based on three equations only; powerful because one program can query the internal structure of another, using a mix of extensional and intensional techniques.
Download from free file storage
Resolve the captcha to access the links!
Registered members don't get captcha ... just sayin