Interfaces as Games, Programs as Strategies

@inproceedings{Michelbrink2004InterfacesAG,
  title={Interfaces as Games, Programs as Strategies},
  author={Markus Michelbrink},
  booktitle={TYPES},
  year={2004}
}
Peter Hancock and Anton Setzer developed the notion of interface to introduce interactive programming into dependent type theory. We generalise their notion and get an even simpler definition for interfaces. With this definition the relationship of interfaces to games becomes apparent. In fact from a game theoretical point of view interfaces are nothing other than special games. Programs are strategies for these games. There is an obvious notion of refinement which coincides exactly with the… CONTINUE READING