ExploreSign inJoin
Programming with Higher-Order Logic
Sign up to use

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Programming with Higher-Order Logic

Dale Miller, Gopalan Nadathur — 2012
Sign up to use
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Reviews

No reviews yet.
Be the first to write one.

Highlights

No highlights yet.
Be the first to share one.