Proof theory and logic programming: computation as proof search
Auteur :
Miller, Dale
Éditeur :
Cambridge University Press
ISBN :
9781009561297
Date de publication :
18 déc. 2025
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.