Functional Calculi for Dependent Types and Higher-Order Encodings

Cached

Download Links

by Adam Poswolsky , Adam Poswolsky