,

A General Method for Defining Objects by Recursion over Syntax.

.
J. Univers. Comput. Sci., 23 (1): 89-111 (2017)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии