Semantical Analysis of Perpetual Strategies in lambda-Calculus.

Published in: Theor. Comput. Sci. (1999)

Keyphrases