3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.GT2026
Quantum combinatorial games
Dieks Scholten, Bram Westerbaan, Simona Samardjiska
A combinatorial game is a deterministic game with no hidden information played between two opponents such as tic-tac-toe, checkers or chess. In this paper we extend combinatorial g…
cs.LO2017★ 3 cited
Statman's Hierarchy Theorem
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper +3
In the Simply Typed -calculus Statman investigates the reducibility relation between types: for , types freely generated using an…