@dblp

A General Method for Defining Objects by Recursion over Syntax.

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

Links and resources

Tags