Titlebook: Category Theory and Computer Science; Paris, France, Septe David H. Pitt,Pierre-Louis Curien,David E. Rydehea Conference proceedings 1991 S

HBA1C

書目名稱Category Theory and Computer Science影響因子(影響力)




書目名稱Category Theory and Computer Science影響因子(影響力)學(xué)科排名




書目名稱Category Theory and Computer Science網(wǎng)絡(luò)公開度




書目名稱Category Theory and Computer Science網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Category Theory and Computer Science被引頻次




書目名稱Category Theory and Computer Science被引頻次學(xué)科排名




書目名稱Category Theory and Computer Science年度引用




書目名稱Category Theory and Computer Science年度引用學(xué)科排名




書目名稱Category Theory and Computer Science讀者反饋




書目名稱Category Theory and Computer Science讀者反饋學(xué)科排名

忍受

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

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

Mawkish

MELD

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

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

猛然一拉

Optic-Disk

FEIGN