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.
Read More
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.
Read Less
Add this copy of Pattern Calculus to cart. $131.98, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2014 by Springer.
Add this copy of Pattern Calculus to cart. $133.34, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2014 by Springer.
Add this copy of Pattern Calculus to cart. $145.19, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2014 by Springer.
Add this copy of Pattern Calculus: Computing with Functions and to cart. $187.87, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Springer.
Add this copy of Pattern Calculus: Computing With Functions and to cart. $86.83, good condition, Sold by Marlton Books LLC rated 5.0 out of 5 stars, ships from new york, NY, UNITED STATES, published 2009 by Springer.
