Concepedia

Author

Martin Hyland

University of Cambridge

Also Known As

Hyland, M, Hyland, Martin, M. Hyland, MARTIN HYLAND, Martin Hyland

44

Publications

1.7K

Citations

23

H-Index

25

Concepts

All Affiliations

University of CambridgeUniversity of EdinburghInstitute of Mathematical StatisticsUniversity of Manchester
MH

About

Martin Hyland is an author at University of Cambridge specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

569

2

Computer Science

6

6

245

3

Business

2

2

73

4

Behavioral Sciences

1

1

54

5

Combinatorial Optimization

1

1

54

Martin Hyland

×

21

Publications

1.2K

Citations

19

H-Index

YearCitations

Page 1