Logical Relations, Data Abstraction, and Structured Fibrations

Cached

Download Links

by John Power , Edmund Robinson