LEADER 03717nam  22005655  450 
001 996465967403316
005 20240327180641.0
010   $a3-540-47213-4
024 7 $a10.1007/3-540-17162-2
035   $a(CKB)1000000000230566
035   $a(SSID)ssj0000321775
035   $a(PQKBManifestationID)11233993
035   $a(PQKBTitleCode)TC0000321775
035   $a(PQKBWorkID)10280945
035   $a(PQKB)11226227
035   $a(DE-He213)978-3-540-47213-1
035   $a(PPN)155231170
035   $a(EXLCZ)991000000000230566
100   $a20121227d1986      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCategory Theory and Computer Programming$b[electronic resource] $eTutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings /$fedited by David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard
205   $a1st ed. 1986.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1986.
215   $a1 online resource (X, 522 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v240
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-17162-2 
327   $aCategories -- 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v240
606   $aComputer logic
606   $aComputer programming
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aComputer logic.
615  0$aComputer programming.
615 14$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
676   $a005.1015113
702   $aPitt$b David$g(David H.).$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAbramsky$b Samson$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPoigne$b Axel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRydeheard$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465967403316
996   $aCategory theory and computer programming$9878402
997   $aUNISA