Aguado, Joaquin ; Mendler, Michael:
Constructive Game Semantics for Instantaneous Reactions
.
In: D. R. Ghica ; G. McCusker (Hrsg.) : Proceedings of GaLoP 2005
(Games for Logics and Programming Languages,, Edinburgh,, April 2005).
2005, S. 16-31.
Institution: Professur für Grundlagen der Informatik
|
|