Adapting Functional Programs to Higher-Order Logic

View PDF

Download Links

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