Statistics
Publications
17
Citations
2.6K
H-Index
16
Active since
1977
Michael Smyth is an author at University of Warwick specializing in patient safety, emergency medicine, and medicine.
Publications per year
1977–2024
17
17
The Category-Theoretic Solution of Recursive Domain Equations
Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 482 citations
Engineering, Semantics, Syntax +16
Michael Smyth · Journal of Computer and System Sciences · 1978 · 256 citations
1–5 of 17