Proving Church’s Thesis. Abstract (2007)

by Yuri Gurevich
Venue:Proceedings of Second International Symposium on Computer Science in Russia, CRS 2007, LNCS 4649