Data & IT
Programming with Higher-Order Logic
Dale Miller • Gopalan Nadathur • Gopalan Nadathur
Inbunden
809:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780521879408
- Språk: Engelska
- Antal sidor: 320
- Utgivningsdatum: 2012-06-11
- Förlag: Cambridge University Press