Index of pdf files

Absolute cohomology. Submitted.

(With John Kennison and Robert Raphael) Searching for absolute CR-epic spaces.. Submitted to Fund. Math.

(With R. Grant Wood and Robert Raphael) On CR-embeddings and absolute CR-epic spaces. Submitted to Can. J. Math.

On subpregroups of the Lambek pregroup. Abstract: To appear in Lambekfestschrift. Full paper: Theory Appl. Categories, 12 (2004), 262 - 269.

(With Robert Raphael and Walter Burgess) Ring Epimorphisms and C(X). Theory Appl. Categories, 11 (2003), 283 - 308.

A duality on simplicial complexes. Georgian Math. J., 9 (2002), 601 - 605.

HSP subcategories of Eilenberg-Moore algebras. Theory Appl. Categories, 10 (2002), 461 - 468.

(With Heinrich Kleisli), On Mackey topologies in topological abelian groups. Theory Appl. Categories, 9 (2001), 54 - 62.

On *-autonomous categories of topological vector spaces. Cahiers Topologie Géométrie Différentielle, 41 (2000), 243 - 254.

*-Autonomous categories: once more around the track. Theory Appl. Categories, 6 (1999), 5 - 24.

(with Heinrich Kleisli) Topological balls. Cahiers Topologie Géométrie Différentielle, 40 (1999), 3 - 20.

The separated extensional Chu category. Theory Appl. Categories, 4 (1998), 127 - 137.

Note on a theorem of Putnam's. Theory Appl. Categories, 3 (1997), 45 - 49.

Notes on Linear logic and *-autonomous categories and on Sketches. Technical report of the Electrotechnical Laboratory (computer language section), Tsukuba, Japan, 1997, 28 pages.

Separability of tensor in Chu categories of vector spaces. Math. Structures Comp. Sci., 6 (1996), 213 - 217.

The Chu construction. Theory Appl. Categories, 2 (1996), 17 - 35.

Acyclic models. Canadian J. Math., 48 (1996), 258 - 273.

Cartan-Eilenberg cohomology and triples. J. Pure Applied Algebra, 112 (1996), 219 - 238.

*-Autonomous categories, revisited. J. Pure Applied Algebra, 111 (1996), 1 - 20.

Fuzzy models of linear logic. Math. Structures Comp. Sci., 6 (1996), 301 - 312.

Oriented singular homology. Theory Appl. Categories, 1 (1995), 1 - 9.

(with M.C. Pedicchio), Topop is a quasi-variety. Cahiers Topologie Géométrie Différentielle, 36 (1995), 3 - 11.

Non-symmetric *-autonomous categories. Theoretical Computer Science, 139 (1995), 115 - 130.

Functorial semantics and HSP type theorems. Algebra Universalis, 31 (1994), 223 - 241.

Terminal coalgebras in well-founded set theory. Theoretical Comp. Sci., 114 (1993), 299 - 315.

Algebraically compact functors. J. Pure Appl. Algebra, 82 (1992), 211 - 232.

HSP type theorems in the category of posets. Proc. 7th International Conf. Mathematical Foundation of Programming Language Semantics, Lecture Notes in Computer Science, 598 (1992), 221 - 234.

*-Autonomous categories and linear logic. Math. Structures Comp. Sci., 1 (1991), 159 - 178.

Functional set theory. Unpublished. (Chandler Davis, editor of the Intelligencer, commissioned this paper, after hearing me mouth off about the paper referred to. He ``virtually'' (his word) guaranteed publication, although he could not actually guarantee it, which I understood. Not only didn't he ever publish it, he never had the courtesy to tell me that, but let the passage of time, now well over a decade, carry out this task.)

Fixed points in cartesian closed categories. Theoretical Comp. Sci., 70 (1990), 65 - 72.

Accessible categories and models of linear logic. J. Pure Appl. Algebra, 69 (1990), 219 - 232.

Models of Horn theories. In J. W. Gray, ed., Categories in Computer Science and Logic, Contemporary Math. 92 (1989), 1 - 7, Amer. Math. Soc.

On categories with effective unions. In F. Bourceux, ed. Categorical algebra and its applications, Lecture Notes Math., 1348, (1988), 19 - 35, Springer-Verlag, Berlin, Heidelberg, New York.

Representations of categories. J. Pure Appl. Algebra, 41 (1986), 113 - 137.

May 20, 2004