Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Matematikk og naturvitenskap/Matematikk

Lambda-Calculus and Combinators - An Introduction

J. Roger (University of Wales Swansea) Hindley, Jonathan P. (University of Lethbridge Alberta) Seldin
2008, Innbundet, Engelsk
image-product

869,-

Utsolgt på nettlager
  • Ikke tilgjengelig for hent i butikk
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.

Produktegenskaper

Kundeanmeldelser

Frakt og levering