Lambda-Calculus and Combinators An Introduction

Neįvertinta

Apie prekę

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Realios prekės išvaizda gali šiek tiek skirtis nuo esančios nuotraukoje. Prekės, kurias gausite, gali būti kitokioje pakuotėje bei kitokios išvaizdos ar formos.

Leidimo metai

2008-07-24

Leidinio kalba

Anglų

Prekės kodas

000000000002220430

EAN kodas

9780521898850