Constructions, Inductive Types and Strong Normalization (1993)

Cached

Download Links

by Thorsten Altenkirch
Citations:35 - 3 self