A universal innocent game model for the Böhm tree lambda theory (0)

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