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

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

19 Сентября, 2024 Открыт приём заявок на премию «За верность науке»

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

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