nLab Michael B. Smyth

Was formerly at the University of Birmingham.

Selected writings

About data types CPOs in domain theory:

D. J. Lehmann, Michael B. Smyth: Algebraic specification of data types: A synthetic approach, Math. Systems Theory 14 (1981) 97–-139 [doi:10.1007/BF01752392]

Related entries

Smyth's dictionary

category: people

Last revised on June 25, 2026 at 04:40:05. See the history of this page for a list of all contributions to it.