Hindley - Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

Hindley

ISBN: 9780521898850
Vydavatelství: Cambridge UP
Rok vydání: 2008
Dostupnost: Na objednávku

Původní cena: 0 Kč
Cena: Na vyžádání

Nárok na dopravu zdarma
Přidat do wishlistu
Zpět Tisknout Pošli poptávku
Keeping technical requirements to a minimum, this long-awaited new edition gives a modern account of combinatory logic and lambda-calculus models.

Příbuzné oblasti
Viz také
« »
Přehled výstav, na kterých byl titul prezentován:
- SCIENCE 2009