Fri, 01 Jan 1999 00:00:00 +0100

A Convenient Category for Games and Interaction. Appl. Categorical Struct. 7(1-2): 129-145 (1999)