You need to sign in or sign up before continuing.

Browse editions

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

Programming with Higher-Order Logic

Dale Miller, Gopalan Nadathur

320 pages • missing pub info (editions)

nonfiction computer science medium-paced
Other editions (0)