標(biāo)題: Titlebook: Category Theory and Computer Programming; Tutorial and Worksho David Pitt,Samson Abramsky,David Rydeheard Conference proceedings 1986 Sprin [打印本頁] 作者: 僵局 時間: 2025-3-21 16:21
書目名稱Category Theory and Computer Programming影響因子(影響力)
書目名稱Category Theory and Computer Programming影響因子(影響力)學(xué)科排名
書目名稱Category Theory and Computer Programming網(wǎng)絡(luò)公開度
書目名稱Category Theory and Computer Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Category Theory and Computer Programming被引頻次
書目名稱Category Theory and Computer Programming被引頻次學(xué)科排名
書目名稱Category Theory and Computer Programming年度引用
書目名稱Category Theory and Computer Programming年度引用學(xué)科排名
書目名稱Category Theory and Computer Programming讀者反饋
書目名稱Category Theory and Computer Programming讀者反饋學(xué)科排名
作者: 人工制品 時間: 2025-3-21 23:15
https://doi.org/10.1007/3-540-17162-2algorithm; algorithms; data model; logic; programming; programming language; semantics作者: Panther 時間: 2025-3-22 03:21 作者: 從屬 時間: 2025-3-22 07:12 作者: 善于騙人 時間: 2025-3-22 11:27
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
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
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 作者: 語言學(xué) 時間: 2025-3-23 03:02 作者: Predigest 時間: 2025-3-23 08:56 作者: fledged 時間: 2025-3-23 10:09
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 net作者: GOUGE 時間: 2025-3-23 16:53 作者: judiciousness 時間: 2025-3-23 20:12 作者: 怎樣才咆哮 時間: 2025-3-24 00:34 作者: Affirm 時間: 2025-3-24 05:47
Ioana Ciuciu,Hervé Panetto,Fernando Ferri as possible . of the underlying logical system, (2) to facilitate the transfer of results (and artifacts such as theorem provers) from one logical system to another, and (3) to permit combining a number of different logical systems. In particular, programming-in-the-large (in the style of the Clear作者: 機(jī)警 時間: 2025-3-24 09:31 作者: 藥物 時間: 2025-3-24 11:43
,Categories of partial morphisms and the λP-calculus,作者: 階層 時間: 2025-3-24 16:07
Category theory and models for parallel computation,作者: breadth 時間: 2025-3-24 22:20 作者: Measured 時間: 2025-3-25 03:08
Ioana Ciuciu,Hervé Panetto,Fernando Ferrieach signature Σ; a category (or set) of Σ-. for each Σ; and a Σ-. relation, between Σ-sentences and Σ-models, for each Σ. The intuition of the basic axiom for institutions is that .. This paper enriches institutions with sentence morphisms to model proofs, and uses this to explicate the notion of a作者: fringe 時間: 2025-3-25 03:19
A categorical view of weakest liberal preconditions,cate 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-25 08:45 作者: 騙子 時間: 2025-3-25 13:11 作者: 逃避現(xiàn)實 時間: 2025-3-25 19:11
Category theory and programming language semantics: An overview, 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 net作者: Albinism 時間: 2025-3-25 22:27
A categorical view of weakest liberal preconditions,employ this setting to re-examine weakest liberal precondition semantics, and provide a new interpretation which is sounder mathematically and, we claim, more in line with what is really needed in program specification..We begin by replacing predicates by equalizers. Weakest liberal preconditions ar作者: PUT 時間: 2025-3-26 03:26
Functor-category semantics of programming languages and logics,es. The first application was an “abstract” description of stack-oriented storage management in Algol 60-like programming languages. A more recent application has been to obtain a model of Reynolds‘s “specification logic” that is non-operational and validates certain intuitively-true axioms; this ap作者: 巨頭 時間: 2025-3-26 06:41
Galois connections and computer science applications,plified 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-26 11:21 作者: 高爾夫 時間: 2025-3-26 16:32 作者: Mucosa 時間: 2025-3-26 19:27 作者: 欄桿 時間: 2025-3-26 22:25 作者: 通知 時間: 2025-3-27 01:09 作者: 削減 時間: 2025-3-27 06:28
第121918主題貼--第2樓 (沙發(fā))作者: 蝕刻術(shù) 時間: 2025-3-27 09:28
第121917主題貼--第2樓 (沙發(fā))作者: jealousy 時間: 2025-3-27 14:41
第59544主題貼--第2樓 (沙發(fā))作者: 雪崩 時間: 2025-3-27 20:58
第121916主題貼--第2樓 (沙發(fā))作者: 偽證 時間: 2025-3-28 00:43
第4樓作者: 真實的你 時間: 2025-3-28 02:49
第4樓作者: indifferent 時間: 2025-3-28 10:13
第4樓作者: 摘要記錄 時間: 2025-3-28 14:20
5樓作者: Ingredient 時間: 2025-3-28 18:16
5樓作者: Acetaminophen 時間: 2025-3-28 19:10
5樓作者: 走路左晃右晃 時間: 2025-3-28 23:37
5樓作者: ALE 時間: 2025-3-29 05:46
6樓作者: 信條 時間: 2025-3-29 08:00
6樓作者: 不知疲倦 時間: 2025-3-29 14:48
6樓作者: ELUC 時間: 2025-3-29 16:40
6樓作者: sebaceous-gland 時間: 2025-3-29 20:25
7樓作者: 蛤肉 時間: 2025-3-30 02:48
7樓作者: jovial 時間: 2025-3-30 05:26
7樓作者: Mucosa 時間: 2025-3-30 09:10
7樓作者: Cabg318 時間: 2025-3-30 16:20
8樓作者: Ornament 時間: 2025-3-30 16:58
8樓作者: ALIEN 時間: 2025-3-30 21:43
8樓作者: 閑蕩 時間: 2025-3-31 01:33
9樓作者: 不溶解 時間: 2025-3-31 08:05
9樓作者: BRAND 時間: 2025-3-31 12:22
9樓作者: 閹割 時間: 2025-3-31 15:37
9樓作者: 撫慰 時間: 2025-3-31 21:22
10樓作者: ONYM 時間: 2025-3-31 23:29
10樓作者: 分發(fā) 時間: 2025-4-1 03:24
10樓作者: 迫擊炮 時間: 2025-4-1 06:24
10樓
