A reduction relation for which postponement of K-contractions, Conservation and Preservation of Strong Normalisation hold (1996)

Cached

Download Links

by Fairouz Kamareddine , Of Strong Normalisation
Venue:Univ. of Glasgow, Glasgow
Citations:6 - 4 self