Programming with Higher-Order Logic More Books Like This

Logic And Declarative Language Logic And Declarative Language
Logic And Declarative Language
2004
Models of Computation Models of Computation
Models of Computation
2009
ML for the Working Programmer ML for the Working Programmer
ML for the Working Programmer
1996
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2017
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2019
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2018
Central European Functional Programming School Central European Functional Programming School
Central European Functional Programming School
2008
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2010
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2017
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2016
Verified Functional Programming in Agda Verified Functional Programming in Agda
Verified Functional Programming in Agda
2016
All About Maude - A High-Performance Logical Framework All About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical Framework
2007