A characterisation of computable data types by means of a finite equational specification method
J. A. BergstraDepartment of Computer Science, University of Leiden, Wassenaarseweg 80, 2300 RA, LEIDEN, The NetherlandsJohn V. Tucker
1980en
ABI
Аннотация
Аннотация мавжуд эмас.
Идентификаторлар
Иқтибослар ва манбалар
13 та иқтибос0 та фойдаланилган манба