Daguerreotype
发表于 2025-3-21 17:57:00
书目名称Category Theory and Computer Science影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0222556<br><br> <br><br>书目名称Category Theory and Computer Science读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0222556<br><br> <br><br>
沟通
发表于 2025-3-21 23:49:50
http://reply.papertrans.cn/23/2226/222556/222556_2.png
integral
发表于 2025-3-22 01:09:20
Foundations of equational deduction: A categorical treatment of equational proofs and unification ature of equational deduction is captured by a 2-category. Using this formulation, algorithms for solving equations are derived from general constructions in category theory. The basic unification algorithm arises from constructions of colimits. We also consider solving equations in the presence of t
Phenothiazines
发表于 2025-3-22 07:07:33
A typed lambda calculus with categorical type constructors, structure includes categorical objects like products and coproducts as well as recursive types like natural numbers and lists. It also allows duals of recursive types, i.e. lazy types, like infinite lists. It has generalized iterators for recursive types and duals of iterators for lazy types. We wi
性冷淡
发表于 2025-3-22 09:24:47
Final algebras, cosemicomputable algebras, and degrees of unsolvability,of finality to model minimal-state realizations of abstract (software) machines. Given a finite many-sorted signature Σ and a set . of visible sorts, for every Σ-algebra . with co-r.e. behavior and nontrivial, computable .-behavior, there is a finite signature extension Σ′ of Σ (without new sorts) a
profligate
发表于 2025-3-22 14:01:38
Good functors ... are those preserving philosophy!,ant properties of the . when dealing with so-called . in a hierarchical approach. All our results and counter-examples are very simple, nevertheless they shed light on many common errors in the abstract specification field. We also summarize some properties of the category of models “protecting pred
profligate
发表于 2025-3-22 20:35:35
http://reply.papertrans.cn/23/2226/222556/222556_7.png
Eructation
发表于 2025-3-22 23:54:26
Connections between partial maps categories and tripos theory,n features: they are both able to model typed first-order logic, and in both structures one can build topoi. In this paper we compare the two structures and we show that, under some conditions, they give rise to equivalent topoi.
额外的事
发表于 2025-3-23 04:31:06
A category of Galois connections,r in their hom-sets; in the most general category the morphisms are pairs of functions which commute with the maps of the domain and codomain Galois connections. One of our main results is that one of the categories—the one which is the most closely related to the closed and open elements of the Gal
碳水化合物
发表于 2025-3-23 06:13:02
Definition of Operational Amplifiers,or 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.