A universal innocent game model for the Bohm tree lambda theory (1999)

by A D Ker, H Nickau, C-H L Ong
Venue:In Computer Science Logic: Proceedings of the 8th Annual Conference of the EACSL