Bergstra J. A.,Tucker J. V. ...


Bergstra J. A., Tucker J. V.
[1980]
A characterization of computable data types by means of a finite, equational specification method
Lect. Notes in Comp. Sci., 85, 76-90, Springer-Verlag
81.B2.793
article

Вернуться к поиску