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