The notion of a framework and a framework for LTC (1988)

by F Aczel, P
Venue:In : Third Symposium on Logic in Computer Science, pp . 392-401, Edinburgh