Martin Hyland

Martin Hyland

University of Cambridge - Cambridge / United Kingdom
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1332031
person_outline Martin Hyland's MOST POPULAR ARTICLES
1-) On full abstraction for PCF: I, II, and IIIJME Hyland, CHL OngInformation and computation 163 (2), 285-408, 20008932000
2-) The effective toposJME HylandStudies in Logic and the Foundations of Mathematics 110, 165-216, 19824151982
3-) A term calculus for intuitionistic linear logicN Benton, G Bierman, V Paiva, M HylandInternational Conference on Typed Lambda Calculi and Applications, 75-90, 19932561993
4-) Tripos theoryJME Hyland, PT Johnstone, AM PittsMathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 19802761980
5-) Combining effects: Sum and tensorM Hyland, G Plotkin, J PowerTheoretical computer science 357 (1-3), 70-99, 20062332006