Adapting Functional Programs to Higher-Order Logic

Cached

Download Links

by Scott Owens , Konrad Slind
Citations:2 - 1 self