BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Smyth:Michael_B=

Contributed to:

ICALP 19831983
ICALP 19801980

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.