Verification of Higher-Order Computation: A Game-Semantic Approach.

C.-H. Luke Ong

Browse the full ESOP paper archive.