栏杆
发表于 2025-3-26 23:48:16
Fixed Points of Functors - A Short Abstract,of systems (terminal coalgebras and coinduction) and in a number of other connections such as iterative theories (rational fixed point). In this survey we present some older and new results on the structure of the three fixed points we have mentioned.
headlong
发表于 2025-3-27 04:50:34
Conference proceedings 2016e, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016..The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras..
愉快吗
发表于 2025-3-27 07:39:08
Variability in component systemsThe aim of the paper is to work towards a generalisation of coalgebraic logic enriched over a commutative quantale. Previous work has shown how to dualise the coalgebra type functor . in order to obtain the modal operators and axioms describing transitions of type .. Here we give a logical description of the dual of ..
misanthrope
发表于 2025-3-27 12:29:24
http://reply.papertrans.cn/23/2288/228705/228705_34.png
确定方向
发表于 2025-3-27 15:59:49
On the Logic of Generalised Metric Spaces,The aim of the paper is to work towards a generalisation of coalgebraic logic enriched over a commutative quantale. Previous work has shown how to dualise the coalgebra type functor . in order to obtain the modal operators and axioms describing transitions of type .. Here we give a logical description of the dual of ..
Mendicant
发表于 2025-3-27 20:58:49
http://reply.papertrans.cn/23/2288/228705/228705_36.png
SHOCK
发表于 2025-3-28 00:52:38
http://reply.papertrans.cn/23/2288/228705/228705_37.png
Blatant
发表于 2025-3-28 02:23:25
http://reply.papertrans.cn/23/2288/228705/228705_38.png
abracadabra
发表于 2025-3-28 09:29:50
http://reply.papertrans.cn/23/2288/228705/228705_39.png
Oration
发表于 2025-3-28 14:20:34
http://reply.papertrans.cn/23/2288/228705/228705_40.png