Lambda-Calculus and Combinators

Name: Lambda-Calculus and Combinators
Brand: Cambridge University Press
SKU: 2182606
Author: Swansea) J. Roger (University of Wales Hindley

Swansea) J. Roger (University of Wales Hindley, Alberta) Jonathan P. (University of Lethbridge Seldin

Cambridge University Press

Knihu koupíte v 1 e-shopu

Bookshop.cz

2 125 Kč

Není skladem

Do obchodu

Krátký popis

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.

Zobrazit celý popis

Výběr knih vydavatele Cambridge University Press