Questions tagged [denotational-semantics]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
3 answers

Mechanization of game semantics?

Is there any work on mechanization of game semantics? I have no experience in this area but game semantics are supposed to provide interesting denotational semantics for a variety of programming ...
user avatar