Programming with Dependent Types and Higher-Order Encodings

Cached

Download Links

by Adam Poswolsky , Carsten Schürmann , Adam Poswolsky , Carsten Schürmann