Skip to main content

Publications

Journal articles

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

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.

ZHANG, GQ 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.

Conferences

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

Zhou, W 1991, 'On the monitoring of remote procedure call programs', pp. 141-145.
View description>>

Zhou, W & Molinari, B 1991, 'On the managment of remote procedure call transactions', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 571-581.
View/Download from: Publisher's site
View description>>

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..