后天习得
发表于 2025-3-28 14:37:25
Specifying interaction categories,alysed without fixing a set of axioms, merely in terms of the way in which they are specified —just like algebras are analysed in terms of equations and relations, independently on abstract characterisations of their varieties.
PAGAN
发表于 2025-3-28 20:15:45
http://reply.papertrans.cn/23/2226/222559/222559_42.png
ELUDE
发表于 2025-3-29 02:36:30
When Do Datatypes Commute?,atatypes that one can define in a functional programming language) do indeed commute according to our specification. The framework we use is the theory of allegories, a combination of category theory with the pointfree relation calculus.
大沟
发表于 2025-3-29 05:51:15
Lifting,pproach to partiality seems new in the literature on categories of partial maps, although it is certainly implicit in the computational point of view, and it relates directly to the question of modularity.
复习
发表于 2025-3-29 07:59:03
http://reply.papertrans.cn/23/2226/222559/222559_45.png
歌唱队
发表于 2025-3-29 15:02:26
http://reply.papertrans.cn/23/2226/222559/222559_46.png
不可磨灭
发表于 2025-3-29 19:11:06
0302-9743 atical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.978-3-540-63455-3978-3-540-69552-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
LASH
发表于 2025-3-29 23:09:17
http://reply.papertrans.cn/23/2226/222559/222559_48.png
ESPY
发表于 2025-3-30 00:59:31
http://reply.papertrans.cn/23/2226/222559/222559_49.png
粗鄙的人
发表于 2025-3-30 04:29:42
http://reply.papertrans.cn/23/2226/222559/222559_50.png