Searching Books & More : "Calculus"

Lambda calculus X
22 results found in Books & More
RSS
Cover images provided by Open Library

Lambda calculus with types

Published: New York : Cambridge University Press : Association for Symbolic Logic, 2013
Format: Electronic Resource, Remote
Retrieving Holdings Information
Cover images provided by Open Library

Pattern calculus computing with functions and structures

Published: Dordrecht ; New York : Springer, c2009
Format: Electronic Resource, Remote
Retrieving Holdings Information
Cover images provided by Open Library

Abstract computing machines a lambda calculus perspective

Published: Berlin ; New York : Springer, c2005
Format: Electronic Resource, Remote
Retrieving Holdings Information
Cover images provided by Open Library

Lambda calculi : a guide for computer scientists

Published: Oxford [England] : Clarendon Press ; New York : Oxford University Press, c1994
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

The lambda calculus : its syntax and semantics

Published: Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

The lambda calculus : its syntax and semantics

Published: Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

The parametric lambda calculus : a metamodel for computation

Published: Berlin ; New York : Springer-Verlag, c2004
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Lambda-calculus and combinators, an introduction

Published: Cambridge, UK ; New York : Cambridge University Press, c2008
Format: Print
Retrieving Holdings Information