Search Results

1 - 1 of 1 results for "Nadathur, Gopalan"

Programming with Higher-Order Logic
US$41.50

A programming language based on a higher-order logic provides a declarative approach to capturing...