---

＜電子ブック＞
Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings / edited by David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard
(Lecture Notes in Computer Science. ISSN:16113349 ; 240)

版	1st ed. 1986.
出版者	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
出版年	1986
本文言語	英語
大きさ	X, 522 p : online resource
著者標目	Pitt, David editor Abramsky, Samson editor Poigne, Axel editor Rydeheard, David editor SpringerLink (Online service)
件　名	LCSH:Computer science LCSH:Computer programming FREE:Computer Science Logic and Foundations of Programming FREE:Programming Techniques
一般注記	Categories -- Elements of categorical reasoning : Products and coproducts and some other (co-)limits -- Functors and natural transformations -- Adjunctions -- Cartesian closure — Higher types in categories -- Algebra categorically -- Category theory and logic -- Categories, data types, and imperative languages -- Category theory and programming language semantics: An overview -- Weakest preconditions: Categorical insights -- A categorical view of weakest liberal preconditions -- Functor-category semantics of programming languages and logics -- Finite approximation of spaces -- Categories of partial morphisms and the ?P-calculus -- A note on distributive laws and power domains -- Category theory and models for parallel computation -- Categorical models of process cooperation -- Galois connections and computer science applications -- A study in the foundations of programming methodology: Specifications, institutions, charters and parchments -- Bits and pieces of the theory of institutions -- Extended ML: An institution-independent framework for formal program development -- Behavioural program specification -- Key extensions of abstract data types, final algebras, and database semantics -- Theories as categories -- Internal completeness of categories of domains -- Formalising the network and hierarchical data models — an application of categorical Logic -- A categorical unification algorithm -- Computing with categories HTTP:URL=https://doi.org/10.1007/3-540-17162-2

 類似資料