共 34 条
[31]
Stoy J.E., 1977, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
[32]
Suzuki T, 2008, P AM MATH SOC, V136, P1861