LEADER 03397nam  22006255  450 
001 996465797603316
005 20240327180912.0
010   $a3-540-48006-4
024 7 $a10.1007/3-540-18508-9
035   $a(CKB)1000000000230686
035   $a(SSID)ssj0000321779
035   $a(PQKBManifestationID)11231368
035   $a(PQKBTitleCode)TC0000321779
035   $a(PQKBWorkID)10280956
035   $a(PQKB)11234466
035   $a(DE-He213)978-3-540-48006-8
035   $a(PPN)155170171
035   $a(EXLCZ)991000000000230686
100   $a20121227d1987      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCategory Theory and Computer Science$b[electronic resource] $eEdinburgh, UK, September 7-9, 1987. Proceedings /$fedited by David H. Pitt, Axel Poigne, David E. Rydeheard
205   $a1st ed. 1987.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1987.
215   $a1 online resource (VIII, 304 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v283
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-18508-9 
327   $aCategories and effective computations -- Polymorphism is set theoretic, constructively -- An equational presentation of higher order logic -- Enriched categories for local and interaction calculi -- The category of Milner processes is exact -- Relating two models of hardware -- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms -- A typed lambda calculus with categorical type constructors -- Final algebras, cosemicomputable algebras, and degrees of unsolvability -- Good functors ... are those preserving philosophy! -- Viewing implementations as an institution -- An interval model for second order lambda calculus -- Logical aspects of denotational semantics -- Connections between partial maps categories and tripos theory -- A fixpoint construction of the p-adic domain -- A category of Galois connections.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v283
606   $aTopology
606   $aComputer logic
606   $aMathematical logic
606   $aTopology$3https://scigraph.springernature.com/ontologies/product-market-codes/M28000
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aTopology.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aTopology.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aMathematical Logic and Foundations.
676   $a514
702   $aPitt$b David$g(David H.),$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPoigne$b Axel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRydeheard$b David E$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465797603316
996   $aCategory theory and computer science$9382680
997   $aUNISA