Adapting Functional Programs to Higher-Order Logic

Cached

Download Links

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