Impredicative Representations of Categorical Datatypes (1994)

Cached

Download Links

by Thorsten Altenkirch