A Universal Innocent Game Model for the Bhm Tree Lambda Theory.

Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong

Browse the full CSL paper archive.