Semantical analysis of perpetual strategies in -calculus. Theoret (1999)

by F Honsell, M Lenisa
Venue:Comput. Sci