Proving Church's thesis

• Authors:

• Yuri Gurevich

• Affiliations:

• Microsoft Research

• Venue:
• CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
• Year:
• 2007