Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 - Henk Barendregt - Böcker - Independently Published - 9798585284120 - 22 december 2020
Om omslag och titel inte matchar är det titeln som gäller

Henk Barendregt
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Pris
SEK 259

Beställningsvara

Förväntad leverans 9 - 20 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

This book is an extended version of the author's 1971 PhD thesis, containing a facsimile of the original and several extensions: motivation, hindsight and the making of. It is concerned with consistency of equating unsolvable terms and adding the omega-rule as strengthening of the principle of extensionality. The republication is put in context of the transition of lambda-calculus from an academic theory to a major foundation for fruitful aspects of logic, having an impact on mathematics and computer science and technology with a societal impact by securing correctness of complex systems.

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 22 december 2020
ISBN13 9798585284120
Utgivare Independently Published
Antal sidor 312
Mått 203 × 254 × 17 mm   ·   621 g
Språk Engelska  

Fler produkter med Henk Barendregt

Visa alla

Se alt med Henk Barendregt ( t.ex. Pocketbok och Inbunden Bok )