Symbolic and Sub-symbolic Knowledge Organization in Computational
Theories of Mind. In: Knowledge Organization 22(1995), pp.11-17, 1995.
Linear Types, Approximation, and Topology. (with A. Jung
and K. Keimel). In: Logic in Computer
Science, pp. 110-114, IEEE Computer Society Press, 1994.
Linear Domains and Linear Maps. In: Mathematical Foundations of
Programming Semantics, Lecture Notes in
Computer Science, Volume 802, (Editors: S. Brookes, M. Main, A. Melton, M.
Mislove and D. Schmidt), pp. 438-453, Springer Verlag New York Inc., 1994.
Interaction Orders as Games. In: Theory and Formal Methods 1994,
(Editors: C. Hankin and R. Nagarajan), World Scientific Publishing.
Algebraic Domains of Natural Transformations. (with A. Fiech).
In: Theoretical Computer Science, Volume 136, Number 1, pp. 57-78, December
1994.
Zero Dimensional and Connected Domains. In: Semigroup Forum,
Volume 51, pp. 63-71, Springer-Verlag New York Inc., 1995.
A Maximal Monoidal Closed Category Of Distributive Algebraic
Domains. In: Information and Computation, Volume 116, Number 1, pp. 10-25,
January 1995.
On the equivalence of state-transition systems. In: Theory and
Formal Methods 1993 (Editors: G. Burn, S. Gay and M. Ryan), Workshops in
Computing 1993, pp. 171-182, Springer Verlag New York Inc., 1993.
Cartesian closed categories of domains and the space Proj(D).
In: Mathematical Foundations of Programming Semantics, Lecture Notes in
Computer Science, Volume 598, (Editors: S. Brookes, M. Main, A. Melton, M.
Mislove and D. Schmidt), pp. 259-271, Springer Verlag New York, 1992.