Programming with higher-order logic
Auteur :
Miller, Dale / Nadathur, Gopalan
Éditeur :
Cambridge University Press
ISBN :
9780521879408
Date de publication :
11 juin 2012
Dimensions :
23,5 x 15,8 x 1,9 cm
Poids :
550 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.