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

Cached

Download Links

by Andrew D. Ker , Hanno Nickau , C. -h. Luke Ong
Venue:In Computer Science Logic: Proceedings of the 8th Annual Conference on the EACSL
Citations:3 - 3 self