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 × Denmark
1 × Israel
1 × Poland
1 × USA
Collaborated with:
L.Sterling M.P.Fiore G.D.Plotkin A.Mifsud R.Milner
Talks about:
structur (2) categori (1) program (1) control (1) complet (1) between (1) axiomat (1) algebra (1) theori (1) notion (1)

Person: A. John Power

DBLP DBLP: Power:A=_John

Contributed to:

CSL 19971997
LICS 19971997
LICS 19951995
ICLP 19901990

Wrote 4 papers:

CSL-1997-Power #algebra #category theory
Categories with Algebraic Structure (AJP), pp. 389–405.
LICS-1997-FiorePP #axiom #set
Complete Cuboidal Sets in Axiomatic Domain Theory (MPF, GDP, AJP), pp. 268–278.
Control Structures (AM, RM, AJP), pp. 188–198.
CLP-1990-PowerS90 #logic programming #source code
A Notion of Map between Logic Programs (AJP, LS), pp. 390–404.

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.