Weak normalization implies strong normalization in a class of non-dependent pure type systems
Gilles Barthe, John Hatcliff, Morten Heine SørensenVolume:
269
Year:
2001
Language:
english
Pages:
45
DOI:
10.1016/s0304-3975(01)00012-3
File:
PDF, 297 KB
english, 2001