Strong Normalization in a Non-Deterministic Typed Lambda-Calculus (1994)

Cached

Download Links

by Philippe de Groote
Citations:3 - 0 self