4 citations · 4 across the 1 of their papers we have counts for
1 paper
Martin Churchill, Jim Laird, Guy McCusker
Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics an…