Modelling Local Variables: Possible Worlds and Object Spaces

Guy McCusker, John Power. Modelling Local Variables: Possible Worlds and Object Spaces. Electronic Notes in Theoretical Computer Science, 265:389-402, 2010. [doi]

Abstract

Abstract is missing.