A Rewriting System for Categorical Combinators with...

SIAM Journal on Computing 1990 / 02 Vol. 19; Iss. 1

A Rewriting System for Categorical Combinators with Multiple Arguments

Yokouchi, Hirofumi, Hikita, Teruo
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
19
Language:
english
Journal:
SIAM Journal on Computing
DOI:
10.1137/0219005
Date:
February, 1990
File:
PDF, 1.94 MB
english, 1990
Conversion to is in progress
Conversion to is failed