僵局
发表于 2025-3-21 16:21:26
书目名称Category Theory and Computer Programming影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0222554<br><br> <br><br>书目名称Category Theory and Computer Programming读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0222554<br><br> <br><br>
人工制品
发表于 2025-3-21 23:15:12
https://doi.org/10.1007/3-540-17162-2algorithm; algorithms; data model; logic; programming; programming language; semantics
Panther
发表于 2025-3-22 03:21:50
http://reply.papertrans.cn/23/2226/222554/222554_3.png
从属
发表于 2025-3-22 07:12:24
http://reply.papertrans.cn/23/2226/222554/222554_4.png
善于骗人
发表于 2025-3-22 11:27:20
0302-9743 Overview: 978-3-540-17162-1978-3-540-47213-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
Efflorescent
发表于 2025-3-22 14:03:29
Marco Burkschat,Udo Kamps,Maria Kateri included those uses of category theory which I have found particularly useful for understanding type theory, domain theory and algebraic semantics. Therefore, several things have been excluded, such as Arbib and Manes‘ (1980) partially additive semantics and Winskel‘s (1984) categories of Petri nets, to mention only two examples of interest.
Efflorescent
发表于 2025-3-22 18:12:24
Georg Weichhart,Christian Staryplified and better understood when Galois insertions are used. In particular, the proof of correctness of an implementation follows simply from the construction of a Galois insertion. We plan further applications of Galois connections theory to computing-related problems.
消瘦
发表于 2025-3-22 23:41:35
http://reply.papertrans.cn/23/2226/222554/222554_8.png
语言学
发表于 2025-3-23 03:02:56
http://reply.papertrans.cn/23/2226/222554/222554_9.png
Predigest
发表于 2025-3-23 08:56:55
http://reply.papertrans.cn/23/2226/222554/222554_10.png