Skip to main content

Publications

Journal articles

Guang-Quan, Z 1991, 'Semi-lattice structure of all extensions of the possibility measure and the consonant belief function on the fuzzy set', Fuzzy Sets and Systems, vol. 43, no. 2, pp. 183-188.
View/Download from: Publisher's site
View description>>

Jay, CB 1991, 'Fixpoint and loop constructions as colimits', Proceedings Summer Conference on Category Theory, Como 1990, vol. 1488, pp. 187-192.

Jay, CB 1991, 'Tail recursion from universal invariants', Category Theory and Computer Science Paris, France, September 1991 Proceedings, vol. 530, pp. 151-163.

Jay, CB 1991, 'Tail recursion via universal invariants'.

Lin, CT & Lee, CSG 1991, 'Fault-Tolerant Reconfigurable Architecture for Robot Kinematics and Dynamics Computations', IEEE Transactions on Systems, Man and Cybernetics, vol. 21, no. 5, pp. 983-999.
View/Download from: Publisher's site
View description>>

LIN, CT & LEE, CSG 1991, 'NEURAL-NETWORK-BASED FUZZY-LOGIC CONTROL AND DECISION SYSTEM', IEEE TRANSACTIONS ON COMPUTERS, vol. 40, no. 12, pp. 1320-1336.
View/Download from: Publisher's site

TIPPING, PG, LEONG, TW & HOLDSWORTH, SR 1991, 'TUMOR-NECROSIS-FACTOR PRODUCTION BY GLOMERULAR MACROPHAGES IN ANTIGLOMERULAR BASEMENT-MEMBRANE GLOMERULONEPHRITIS IN RABBITS', LABORATORY INVESTIGATION, vol. 65, no. 3, pp. 272-279.

ZHANG, GQ 1991, 'FUZZY CONTINUOUS FUNCTION AND ITS PROPERTIES', FUZZY SETS AND SYSTEMS, vol. 43, no. 2, pp. 159-171.

Conferences

Jay, CB 1991, 'Partial functions, ordered categories, limits and cartesian closure', IV Higher Order Workshop, Banff, 1990, Springer Verlag, pp. 151-161.

Reports

Jay, CB 1991, Long $βη$ normal forms and confluence, no. ECS-LFCS-91-183, Edinburgh Univ., Dept. of Comp. Sci..

Jay, CB 1991, Modelling reduction in confluent categories, no. ECS-LFCS-91-187, Edinburgh Univ., Dept. of Comp. Sci..