`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: Power:A=_John

### Contributed to:

### 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.
- LICS-1995-MifsudMP
- 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.