HBA1C
发表于 2025-3-21 16:36:56
书目名称Category Theory and Computer Science影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0222555<br><br> <br><br>书目名称Category Theory and Computer Science读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0222555<br><br> <br><br>
忍受
发表于 2025-3-21 20:17:44
Two results on set-theoretic polymorphism, topos..The second is the . applicable to reflective subcategories of .. It clarifies the way in which they can be regarded as PER models, and has applications to the interpretation of subtyping and bounded quantification.
Airtight
发表于 2025-3-22 03:08:53
Eduardo F. D’Azevedo,Neena Imame coherence theorem. Thus the result extends the theorem with respect to implicational formulas. The set of relevantly balanced formulas is characterized as the set of irrelevant substitution instances of principal type-schemes of BCK-λ-terms.
MIRE
发表于 2025-3-22 05:50:10
http://reply.papertrans.cn/23/2226/222555/222555_4.png
Mawkish
发表于 2025-3-22 08:51:11
http://reply.papertrans.cn/23/2226/222555/222555_5.png
MELD
发表于 2025-3-22 16:16:52
Constructions and predicates,modular approach to programming..Our main result tells that, despite (2), the theory of predicates is as powerful as the theory of constructions: the constructions obstructed by (2) can be recovered in another form using (1). In fact, the theory of constructions is equivalent with a special case of the theory of predicates.
MELD
发表于 2025-3-22 18:26:58
0302-9743 mber3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicianstoget concise interpretations of many logical concepts. Linksbetweenlogic and computer science have been developed nowfor over twenty years, notably via t
猛然一拉
发表于 2025-3-23 00:03:31
http://reply.papertrans.cn/23/2226/222555/222555_8.png
Optic-Disk
发表于 2025-3-23 03:49:38
http://reply.papertrans.cn/23/2226/222555/222555_9.png
FEIGN
发表于 2025-3-23 08:32:21
http://reply.papertrans.cn/23/2226/222555/222555_10.png