Martin Hyland
- Artificial Intelligence top 2%
- Computational Theory and Mathematics top 1%
- Mathematical Physics top 5%
- Geometry and Topology top 5%
- Computer Networks and Communications
- Co-authors
- John PowerGordon PlotkinValeria de PaivaNicola GambinoGlynn WinskelMarcelo FioreNick BentonGavin Bierman
- Topics
- Logic, programming, and type systems (19 papers)Logic, Reasoning, and Knowledge (13 papers)Homotopy and Cohomology in Algebraic Topology (8 papers)
- Journals
- Theoretical Computer ScienceJournal of the London Mathematical SocietyJournal of Pure and Applied Algebra
- Partner nations
- United KingdomUnited StatesSlovakia
In The Last Decade
Martin Hyland
28 papers receiving 561 citations
Peers
Comparison fields: 5 of 28
- Artificial Intelligence 542
- Computational Theory and Mathematics 382
- Mathematical Physics 134
- Geometry and Topology 101
- Computer Networks and Communications 52
Countries citing papers authored by Martin Hyland
This map shows the geographic impact of Martin Hyland's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Martin Hyland with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Martin Hyland more than expected).
Fields of papers citing papers by Martin Hyland
This network shows the impact of papers produced by Martin Hyland. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Martin Hyland. The network helps show where Martin Hyland may publish in the future.
Co-authorship network of co-authors of Martin Hyland
This figure shows the co-authorship network connecting the top 25 collaborators of Martin Hyland. A scholar is included among the top collaborators of Martin Hyland based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Martin Hyland. Martin Hyland is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 10 | |
| 2 | 2 | |
| 3 | 1 | |
| 4 | 15 | |
| 5 | 43 | |
| 6 | 29 | |
| 7 | 22 | |
| 8 | 89 | |
| 9 | 19 | |
| 10 | 4 | |
| 11 | Combining continuations with other effects | 3 |
| 12 | 3 | |
| 13 | 50 | |
| 14 | Games on graphs and sequentially realizable functionals | 21 |
| 15 | 32 | |
| 16 | 3 | |
| 17 | 4 | |
| 18 | 10 | |
| 19 | 29 | |
| 20 | Term Assignment for Intuitionistic Linear Logic | 44 |
About Martin Hyland
Martin Hyland is a scholar working on Computational Theory and Mathematics, Geometry and Topology and Mathematical Physics, having authored 28 papers that have together received 627 indexed citations. Recurring topics across this work include Logic, programming, and type systems (19 papers), Logic, Reasoning, and Knowledge (13 papers) and Homotopy and Cohomology in Algebraic Topology (8 papers). The work is most often cited by research in Computational Theory and Mathematics (382 citations), Artificial Intelligence (542 citations) and Mathematical Physics (134 citations). Martin Hyland has collaborated with scholars based in United Kingdom, United States and Slovakia. Frequent co-authors include John Power, Gordon Plotkin, Valeria de Paiva, Nicola Gambino, Glynn Winskel, Marcelo Fiore, Nick Benton, Gavin Bierman, Paul Blain Levy and Wilfrid Hodges. Their work appears in journals such as Theoretical Computer Science, Journal of the London Mathematical Society and Journal of Pure and Applied Algebra.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.