Pattern Calculus: Computing with Functions and Structures

New
Hardcover
2009
$201.16

Pattern calculus is a new foundation for computation. This book introduces static and dynamic pattern calculus, supports a family of type systems for pattern calculi that build on novel typings of lamda-calculus, and details a new programming language, bondi.

Synopsis

Pattern calculus is a new foundation for computation. This book introduces static and dynamic pattern calculus, supports a family of type systems for pattern calculi that build on novel typings of lamda-calculus, and details a new programming language, bondi.

$201.16

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 230
Publisher: Springer
Published: 12 Aug 2009
ISBN 10: 3540891846
ISBN 13: 9783540891840

Pattern Calculus: Computing with Functions and Structures

New

$201.16

Synopsis

$201.16

More Information