The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory.
In , the notion of well-supported compact closed categories was introduced-symmetric monoidal categories for which every object has a separable algebra structure. More recently it was shown in  that the category whose arrows are cospans of A-labelled graphs between finite sets is the generic symmetric monoidal category with a separable algebra… (More)
Previous work in multilingual support is reviewed. Research to date has involved four basic issues: character-set standardization, text input, internal storage and manipulation and display systems. Each of these areas is discussed. A workstation that supports many character sets in a windows environment and provides display and data manipulation of multiple… (More)
ate), and Artificial Intelligence in Biomedical Informatics (graduate) course instruction. (graduate) course instruction. Research on knowledge-based systems including the Remote Technical Assistance (RTA) project. Introduction to Computers laboratory and Artificial Intelligence (senior elective) course instruction.