愤怒历史
发表于 2025-3-23 13:25:08
J. M. Aspden,J. Vannestecate transformers as defining sets of morphisms. A precise formulation of this idea shows that it is mathematically natural. We give two constructions: one, ., taking predicate transformers to sets of morphisms; and the other, . taking sets of morphisms to predicate transformers The naturality is sh
针叶类的树
发表于 2025-3-23 14:34:11
http://reply.papertrans.cn/47/4607/460647/460647_12.png
Conspiracy
发表于 2025-3-23 18:01:16
M.-P. Lelong,E. Kunzerty I are necessary for preserving the ω-algebraicity of the functional space. The remaining "1/3" of property I is also necessary under rather mild hypothesis. As a fall out we show that a stable, countably based, version of L-domains, introduced by Coquand, is contained in . and that such L-domain
漫不经心
发表于 2025-3-23 23:31:53
http://reply.papertrans.cn/47/4607/460647/460647_14.png
violate
发表于 2025-3-24 05:47:14
http://reply.papertrans.cn/47/4607/460647/460647_15.png
星星
发表于 2025-3-24 08:18:23
tegory of (well-formed) terms. This embedding is exploited to show that rewriting (in the sense of term rewriting systems) over this algebra models faithfully the direct derivations of graphs, described by a double pushout construction along the guidelines of . In particular, we show that also
locus-ceruleus
发表于 2025-3-24 11:52:30
Peter B. Rhinesrty I are necessary for preserving the ω-algebraicity of the functional space. The remaining "1/3" of property I is also necessary under rather mild hypothesis. As a fall out we show that a stable, countably based, version of L-domains, introduced by Coquand, is contained in . and that such L-domain
松果
发表于 2025-3-24 18:08:28
http://reply.papertrans.cn/47/4607/460647/460647_18.png
北极熊
发表于 2025-3-24 22:49:29
Daan D. J. A. van Sommeren,George F. Carnevale,Rudolf C. Kloosterziel,Paolo Orlandior else there is a continuum of such congruences. There are several necessary and sufficient conditions which separate these two cases. We introduce the notion of the Turing degree of a minimal algebra. Using the results above prove that there is a fixed one-sorted signature such that for every r.e.
pulmonary-edema
发表于 2025-3-25 03:15:36
Peter Bartelloor else there is a continuum of such congruences. There are several necessary and sufficient conditions which separate these two cases. We introduce the notion of the Turing degree of a minimal algebra. Using the results above prove that there is a fixed one-sorted signature such that for every r.e.