Church-Rosser Property for Some Extensions of λβ-Reducibility Relation
Andrei A. KuzichevVolume:
37
Year:
1991
Language:
english
Pages:
13
DOI:
10.1002/malq.19910373306
File:
PDF, 591 KB
english, 1991