手术刀
发表于 2025-3-23 12:56:43
http://reply.papertrans.cn/23/2226/222529/222529_11.png
ineffectual
发表于 2025-3-23 14:52:08
Topological spaces for cpos,ssociated topologically continuous functions may be used. This latter answer is confirmed categorically by the existence of an adjunction and a Galois connection of the third kind between the category of cpos and the category of order consistent topologies where the image of the category of cpos is the subcategory of Scott topologies.
adipose-tissue
发表于 2025-3-23 22:03:25
Conference proceedings 1989e "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: .Part . .1. includes papers on categorical foundations and fundamental concepts from category theory in computer science. .Part 2. presents applications of cat
新鲜
发表于 2025-3-24 01:38:54
http://reply.papertrans.cn/23/2226/222529/222529_14.png
AORTA
发表于 2025-3-24 06:22:18
http://reply.papertrans.cn/23/2226/222529/222529_15.png
1分开
发表于 2025-3-24 10:14:34
http://reply.papertrans.cn/23/2226/222529/222529_16.png
太空
发表于 2025-3-24 12:18:27
Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter pass of several value specifications of one arbitrary parameterized specification. We also discuss the semantics for coordinate parameter passing..The results obtained are specialized to order-sorted specification, since our notion of specification is more general than that of order-sorted specification.
delegate
发表于 2025-3-24 18:46:55
http://reply.papertrans.cn/23/2226/222529/222529_18.png
以烟熏消毒
发表于 2025-3-24 21:52:32
http://reply.papertrans.cn/23/2226/222529/222529_19.png
hemophilia
发表于 2025-3-24 23:35:24
Categories for the development of algebraic module specifications,basic development category. Five independent modifications, which are important for practical specification development, are sketched in the paper leading to several other development categories where corresponding compatibility results are true under some additional side conditions.