Sign in
Join Literal
Programming with Higher-Order Logic
Dale Miller
Want to read
Sign up to use
Dale Miller
Programming with Higher-Order Logic
Dale Miller,
Gopalan Nadathur
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
Discover more books like Programming with Higher-Order Logic