Michael B. Smyth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1976–1987
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1987 | MFPS | Quasi Uniformities: Reconciling Domains with Metric Spaces. | Michael B. Smyth |
| 1983 | ICALP | Power Domains and Predicate Transformers: A Topological View. | Michael B. Smyth |
| 1980 | ICALP | Computability in Categories. | Michael B. Smyth |
| 1977 | FOCS | Data Types (Extended Abstract) | Daniel Lehmann, Michael B. Smyth |
| 1977 | FOCS | The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract) | Michael B. Smyth, Gordon D. Plotkin |
| 1976 | MFCS | Powerdomains. | Michael B. Smyth |