You might also like

More about Pattern Calculus

• Book details
• Synopsis
• Trending among others

You get 623 loyalty points

Book 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.§

Book details

Book category Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

• Full title: Pattern Calculus
• Subtitle: Computing with Functions and Structures
• Author: Barry Jay
• Language: English
• Binding: Paperback
• Number of pages: 213
• EAN: 9783642426018
• ISBN: 9783642426018
• ID: 09119201
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 454 g
• Dimensions: 235 × 155 × 12 mm
• Date of publishing: 05. November 2014

Trending among others

---

---

---