Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Games in the semantics of programming languages
2002
Jan Jürjens
Synthese 133/1-2
