Travelled to:1 × Spain
Collaborated with:∅
Talks about:transform (1) categori (1) topolog (1) predic (1) domain (1) comput (1) power (1) view (1)
Person: Michael B. Smyth
DBLP: Smyth:Michael_B=
Contributed to:
19831980Wrote 2 papers:
- ICALP-1983-Smyth #perspective
- Power Domains and Predicate Transformers: A Topological View (MBS), pp. 662–675.
- ICALP-1980-Smyth #category theory
- Computability in Categories (MBS), pp. 609–620.