Retraction map categories and their applications to the construction of lambda calculus models
Hirofumi YokouchiVolume:
71
Year:
1986
Language:
english
Pages:
54
DOI:
10.1016/s0019-9958(86)80017-1
File:
PDF, 1.94 MB
english, 1986