Limiting partial combinatory algebras towards infinitary (2001)

by Y Akama
Venue:In Proceedings of Computer Science Logic (CSL 2001), volume 2142 of LNCS