The following pages link to Jim Laird (Q591721):
Displaying 12 items.
- (Q345712) (redirect page) (← links)
- Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (Q345713) (← links)
- Imperative programs as proofs via game semantics (Q388203) (← links)
- Constructing differential categories and deconstructing categories of games (Q1951585) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- (Q4457459) (← links)
- (Q4681367) (← links)
- Extensional and Intensional Semantic Universes (Q5145281) (← links)
- Weighted Relational Models of Typed Lambda-Calculi (Q5271067) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897474) (← links)
- An axiomatic account of a fully abstract game semantics for general references (Q6612783) (← links)
