调味品
发表于 2025-3-25 05:49:55
Shedding new light in the world of logical systems,ssion is a careful and detailed analysis of two examples, which tries to outline how the new categorical insights could help in guiding the development of a unifying theory for relations between logical systems.
Petechiae
发表于 2025-3-25 11:05:35
http://reply.papertrans.cn/23/2226/222559/222559_22.png
interior
发表于 2025-3-25 13:37:16
http://reply.papertrans.cn/23/2226/222559/222559_23.png
怪物
发表于 2025-3-25 17:24:35
http://reply.papertrans.cn/23/2226/222559/222559_24.png
万神殿
发表于 2025-3-25 22:45:21
A 2-categorical presentation of term graph rewriting, We exploit the categorical framework to relate term graph rewriting and term rewriting, since gs-monoidal (2-)categories can be regarded as “weak” cartesian (2-) categories, where certain (2-)naturality axioms have been dropped.
hedonic
发表于 2025-3-26 03:08:20
Presheaf models for the ,-calculus,the model, obtained from open maps, coincides with the usual bisimulation obtained from the operational semantics of the .-calculus. While attention is concentrated on the ‘late’ semantics of the .-calculus, it is indicated how the ‘early’ and other variants can also be captured.
多产鱼
发表于 2025-3-26 05:54:00
0302-9743Santa Margheria Ligure, Italy, in September 1997..Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathem
忘恩负义的人
发表于 2025-3-26 10:57:36
Background: Train Operations and Scheduling,ms. This paper provides further support for monadic semantics of rewriting by giving a categorical proof of the most general theorem concerning the modularity of strong normalisation. In the process, we improve upon the technical aspects of earlier work.
农学
发表于 2025-3-26 16:19:42
http://reply.papertrans.cn/23/2226/222559/222559_29.png
Jingoism
发表于 2025-3-26 19:48:03
https://doi.org/10.1007/978-3-319-30942-2in f, x and e with this property, if (X, d. ) is locally compact. Based on Weihrauch‘s frameworks on computable metric space (), we effectivize this result by showing that there is a computable function of this type. The proof is a direct construction not depending on .