Jim Laird

Identifiers

• name variant Jim Laird 0.60 · backfill

Papers (1)

1. Imperative Programs as Proofs via Game Semantics cs.LO · 2013 · author #2

Mentions

• 1307.2004 #2 · backfill · confidence 0.70 Jim Laird

Frequent Coauthors

• Guy McCusker 1 shared papers
• Martin Churchill 1 shared papers