Programming with Higher-Order Logic
Dale Miller, Gopalan (University of Minnesota) Nadathur
Cambridge University Press, 2012
75,75 €On orderDelivery: 2-3 weeks
Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.
- ISBN-13
- 9780521879408
- ISBN-10
- 052187940X
- Publisher
- Cambridge University Press
- Year
- 2012
- Publication date
- 2012-06-11
- Pages
- 320
- Dimensions
- 237x160x23
- Weight
- 616