Normal view MARC view ISBD view

Lambda calculus and combinators : an introduction

Material type: materialTypeLabel

BookPublisher: Cambridge: Cambridge University Press, 2008Description: xi, 345 p.; ill.: 24 cm.ISBN: 9780521898850 .Subject(s): Combinatory logic | Lambda calculusDDC classification: 511.35

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.35 HIN (Browse shelf)	Available		026768

Previous								Next
Previous	511.35 DIA Petri nets : fundamental models, verification, and applications	511.35 GOD Introducing the theory of computation	511.35 GOP Computation engineering : applied automata theory and logic	511.35 HIN Lambda calculus and combinators : an introduction	511.35 JAN Paradigms of concurrency : observations, behaviours and systems - a Petri net view	511.35 KOH Switching and finite automata theory	511.35 MAR Concise guide to computation theory	Next

There are no comments for this item.

Koha online