Titlebook: Category Theory and Computer Programming; Tutorial and Worksho David Pitt,Samson Abramsky,David Rydeheard Conference proceedings 1986 Sprin

僵局

書目名稱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é)科排名

人工制品

https://doi.org/10.1007/3-540-17162-2algorithm; algorithms; data model; logic; programming; programming language; semantics

Panther

從屬

善于騙人

0302-9743 Overview: 978-3-540-17162-1978-3-540-47213-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

Efflorescent

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

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.

消瘦

語言學(xué)

Predigest