Martin Hyland

From Wikipedia, the free encyclopedia

J. Martin E. Hyland is professor of mathematics at King's College in the University of Cambridge, England. His interests include mathematical logic, category theory, and theoretical computer science.

[edit] External links