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:
1997
19971995
1990Wrote 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.