COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
BARBANERA, FRANCOVolume:
1
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054190000138
Date:
September, 1990
File:
PDF, 911 KB
english, 1990