Constructions, Inductive Types and Strong Normalization (1993)

Cached

Download Links

by Thorsten Altenkirch
Citations:31 - 2 self

Document Versions

Constructions, Inductive Types and Strong Normalization –Thorsten Altenkirch — 1993