A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types (2000)

Cached

Download Links

by Andreas Abel , Thorsten Altenkirch
Citations:4 - 0 self