標題: Titlebook: Category Theory and Computer Science; Edinburgh, UK, Septe David H. Pitt,Axel Poigné,David E. Rydeheard Conference proceedings 1987 Springe [打印本頁] 作者: Daguerreotype 時間: 2025-3-21 17:57
書目名稱Category Theory and Computer Science影響因子(影響力)
書目名稱Category Theory and Computer Science影響因子(影響力)學科排名
書目名稱Category Theory and Computer Science網(wǎng)絡公開度
書目名稱Category Theory and Computer Science網(wǎng)絡公開度學科排名
書目名稱Category Theory and Computer Science被引頻次
書目名稱Category Theory and Computer Science被引頻次學科排名
書目名稱Category Theory and Computer Science年度引用
書目名稱Category Theory and Computer Science年度引用學科排名
書目名稱Category Theory and Computer Science讀者反饋
書目名稱Category Theory and Computer Science讀者反饋學科排名
作者: 溝通 時間: 2025-3-21 23:49 作者: integral 時間: 2025-3-22 01:09
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
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
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
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 作者: Eructation 時間: 2025-3-22 23:54
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
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
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.作者: 吞吞吐吐 時間: 2025-3-23 12:51 作者: hypotension 時間: 2025-3-23 17:39
An interval model for second order lambda calculus,作者: dermatomyositis 時間: 2025-3-23 21:05 作者: TRACE 時間: 2025-3-23 23:07 作者: 擴音器 時間: 2025-3-24 06:03 作者: 高貴領導 時間: 2025-3-24 07:14 作者: reserve 時間: 2025-3-24 11:15
https://doi.org/10.1007/978-3-319-27680-9rief analysis shows, bipointed categories have a rather weak collection of nice properties—at least known to me. Third, additive idempotence introduces considerable additional structure, and it is here that the non-unital aspects of the .-modules play an important r?le.作者: 鳴叫 時間: 2025-3-24 16:17
History of Image-Guided Biopsy,ons in category theory. The basic unification algorithm arises from constructions of colimits. We also consider solving equations in the presence of term rewriting systems and the combination of unification algorithms.作者: 戲服 時間: 2025-3-24 22:27
Cristina Nanni,Elena Tabacchi,Stefano Fantif recursive types, i.e. lazy types, like infinite lists. It has generalized iterators for recursive types and duals of iterators for lazy types. We will give reduction rules for this simply typed lambda calculus and show that they are strongly normalizing even though it has infinite things like infinite lists.作者: Overthrow 時間: 2025-3-24 23:12
The category of Milner processes is exact,rief analysis shows, bipointed categories have a rather weak collection of nice properties—at least known to me. Third, additive idempotence introduces considerable additional structure, and it is here that the non-unital aspects of the .-modules play an important r?le.作者: 別名 時間: 2025-3-25 05:42 作者: Hyperlipidemia 時間: 2025-3-25 11:33
A typed lambda calculus with categorical type constructors,f recursive types, i.e. lazy types, like infinite lists. It has generalized iterators for recursive types and duals of iterators for lazy types. We will give reduction rules for this simply typed lambda calculus and show that they are strongly normalizing even though it has infinite things like infinite lists.作者: 入伍儀式 時間: 2025-3-25 13:32
Category Theory and Computer Science978-3-540-48006-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 減去 時間: 2025-3-25 18:19 作者: 約會 時間: 2025-3-25 22:42 作者: 付出 時間: 2025-3-26 03:53
https://doi.org/10.1007/978-3-319-28454-5n 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.作者: ADAGE 時間: 2025-3-26 06:58 作者: Initial 時間: 2025-3-26 11:20
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/222556.jpg作者: GRILL 時間: 2025-3-26 13:33 作者: fulmination 時間: 2025-3-26 19:48 作者: ALT 時間: 2025-3-26 21:15 作者: 煩躁的女人 時間: 2025-3-27 01:18
Cristina Nanni,Elena Tabacchi,Stefano Fanti 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-27 05:27
Definition of Operational Amplifiers,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作者: 模范 時間: 2025-3-27 11:10 作者: orthodox 時間: 2025-3-27 14:54
Electrostatics and Polarity in 2D Oxides,ramming methodology independently of the underlying logical system. In this paper we present an institutional study of implementations. As an illustration we show how implementations of loose algebraic specifications constitute an institution. In particular, the horizontal structuring properties of 作者: 有限 時間: 2025-3-27 21:31 作者: 空氣傳播 時間: 2025-3-27 22:10 作者: flavonoids 時間: 2025-3-28 04:34
https://doi.org/10.1007/3-540-18508-9Category theory; Computer; Hardware; algorithms; calculus; computer science; logic作者: 盡管 時間: 2025-3-28 07:00 作者: 無脊椎 時間: 2025-3-28 13:31
Cancer-Induced Fatigue and Cachexia,The Kahn domain on p symbols can be given an arithmetic structure so that its maximal elements are isomorphic to the p-adic integers. This is described as a fixpoint of a functor in a category of sheaves of rings.作者: Paradox 時間: 2025-3-28 14:56 作者: 雪崩 時間: 2025-3-28 21:02
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 predefined sorts.”作者: 不能逃避 時間: 2025-3-28 23:32
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-29 04:42 作者: 受傷 時間: 2025-3-29 07:47
Embracing Crisis,ers embrace life fully and integrate who they are with what they do. These leaders showed the remarkable resilience of spirit in embracing the whole of their life with its light and shadow, which resulted in the experience of more incredible vibrancy, harmony, and integration.作者: correspondent 時間: 2025-3-29 14:46
o an enormous market or to numerous supply opportunities, to different negotiation practices, to more unsure legislative contexts. Purchasing from this country, if considered in context of the internationalization of the overall enterprise and configured considering some contextual factors that will作者: 沒血色 時間: 2025-3-29 19:14
John Rethorstlativistic theories incorporating finite deformations for polarizable and magnetizable materials and those in which couple stresses are considered have been formulated. A broader description of the development of these relativistic topics is contained in § 13. The purpose of this book is to describe作者: 驚奇 時間: 2025-3-29 20:36
Book 2021k of standardized diagnostic algorithms.?..A complex yet accessible addition to the .Current Clinical Neurology. Series, .Neurological Complications of Infectious Diseases .invaluably examines a wide range of infections that have neurological complications and sequelae..作者: CRUMB 時間: 2025-3-30 03:39 作者: 保存 時間: 2025-3-30 05:35 作者: 斜 時間: 2025-3-30 08:56
