The following pages link to Transition systems over games (Q4635649):
Displayed 4 items.
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- (Q6193834) (← links)