Inductive Types and Exact Completion (2002)

Cached

Download Links

by Benno Van Den Berg
Venue:Ann. Pure Appl. Logic
Citations:8 - 7 self