The Logic, Philosophy, and History of the Lambda-Calculus

Dette er den første boken som fokuserer på de logisk-filosofiske aspektene ved lambda-kalkulus siden feltet ble grunnlagt i 1932 av Alonzo Church. Boken innleder et nytt område kalt "lambda-filosofi", en gren av logikkbasert analytisk filosofi hentet fra tradisjonen til Frege og Russell, og konstruert direkte fra lambda-kalkulus. En annen nyskapning i boken er en ny grafisk og intuitiv logisk-matematisk notasjon for lambda-kalkulus, kjent som "container notation". Boken tar for seg flere episoder fra historien til emnet, inkludert tre komparative studier av lambda-kalkulus sammenlignet med Viète's algebra, Descartes' analytiske geometri, og Wittgensteins Tractatus. En didaktisk tilnærming til de logisk-matematiske aspektene ved lambda-kalkulus, delvis basert på kognitiv vitenskap, gir det tekniske grunnlaget for analysen. På denne måten gir boken en systematisk og sammenhengende behandling av ulike logisk-filosofiske aspekter.