Church-Rosser theorem for a rewriting system on categorial combinators
Hirofumi YokouchiVolume:
65
Year:
1989
Language:
english
Pages:
20
DOI:
10.1016/0304-3975(89)90104-7
File:
PDF, 1.66 MB
english, 1989