2 citations
1 paper
Aleksandar S. Dimovski
In this paper we revisit the regular-language representation of game semantics of second-order recursion free Idealized Algol with infinite data types. By using symbolic values ins…