The structure of game lambdamodels (2000)

by P Di Gianantonio, G Franco
Venue:In Conference on the Foundation of Software Technology and Theoretical Computer Science (FSTTS '00), volume 1974 of LNCS