Electronic Notes in Theoretical Computer Science 1 (1995) to appear (2008)
P. J. Freyd, P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent
Motivated by a model for syntactic control of interference, we introduce a general categorical concept of bireflectivity. Bireflective subcategories of a category A are subcategories with left and...
Sex-linked Markers Facilitate Genetic Parentage Analyses in Knobbed Whelk Broods (2005)
Walker, D., Power, A. J., Avise, J. C.
To explore the potential of sex-linked polymorphisms for genetic parentage analyses in natural populations, we have employed a recently discovered “X-linked” microsatellite marker (in conjunction...
Sex-linked Markers Facilitate Genetic Parentage Analyses in Knobbed Whelk Broods (2004)
Walker, D., Power, A. J., Avise, J. C.
To explore the potential of sex-linked polymorphisms for genetic parentage analyses in natural populations, we have employed a recently discovered "X-linked" microsatellite marker (in conjunction...
Thermal Decomposition of Tetrazene at 90 C, (2002)
A study of the thermal decomposition of the stab-sensitising explosive tetrazene has shown that at 90 C this substance is converted substantially to 5-aminotetrazole. Spectroscopic evidence indicates...
The Chemistry of Deposit Formation in Distillate Fuels, (2002)
Hazlett,R. N., Power,A. J., Kelso,A. G., Solly,R. K.
The chemistry of deposit formation in distillate fuels has been investigated at 65 and 80 C for time peroids equivalent to up to four years ambient storage. The chemical environment was varied by...
A general completeness result in refinement (2000)
Yoshiki Kinoshita, A. J. Power
Abstract. In a paper in 1986, Hoare, He and Sanders proposed a formulation of refinement for a system equivalent to the #-calculus using a relation based semantics. To give a proof method to show...
Power, A. J., Arfelli, W., Solly, R. K.
A new means of increasing the chemical stability of petroleum fuel during storage has been developed. Distillate fuel blends have been shown to form significantly less total particulate matter...
Recycling of Textile Polymers by Flexible Chemical Processing (1996)
Evans, Robert J., Elam, Carolyn C., Czernik, Stefan, Power, A.J.
Recycling of Textile Polymers by Flexible Chemical Processing (1996)
Evans, Robert J., Elam, Carolyn C., Czernik, Stefan, Power, A.J.
Recycling of Textile Polymers by Flexible Chemical Processing (1996)
Evans, Robert J., Elam, Carolyn C., Czernik, Stefan, Power, A. J.
A Fibrational Semantics for Logic Programs (1996)
. We introduce a new semantics for logic programming languages. It generalises the traditional Herbrand universe semantics, and specialises the semantics of logical relations, as used in analysing...
P. J. Freyd, P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent
Motivated by a model for syntactic control of interference, we introduce a general categorical concept of bireflectivity. Bireflective subcategories of a category A are subcategories with left and...
Syntactic Control of Interference Revisited (1995)
P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent
In "Syntactic Control of Interference" (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algol-like languages. The...
Butler's theorems and adjoint squares / (1984)
Written for the Dept. of Mathematics and Statistics.