Semantical Analysis of Perpetual Strategies in lambdacalculus, TCS, 212 (1999)

by M Lenisa F Honsell