The system can't perform the operation now. Try again later.
This "Cited by" count includes citations to the following articles in Scholar. The ones marked * may be different from the article in the profile.
Get my own profile Andrew M PittsProfessor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk Follow
Verified email at cl.cam.ac.uk