Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong. Adapting innocent game models for the Böhm treelambda -theory. Theoretical Computer Science, 308(1-3):333-366, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.