Programming with Higher-Order Logic by Gopalan Nadathur, Dale Miller

Programming with Higher-Order Logic

Gopalan Nadathur, Dale Miller

320 pages missing pub info (view editions)

nonfiction computer science medium-paced
Powered by AI (Beta)
Loading...

Description

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,...

Read more

Community Reviews

Loading...

Content Warnings

Loading...