Programming with Higher-Order Logic /
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computa...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2012.
|
| Subjects: | |
| Online Access: | View fulltext via EzAccess |