03397nam 22006255 450 99646579760331620240327180912.03-540-48006-410.1007/3-540-18508-9(CKB)1000000000230686(SSID)ssj0000321779(PQKBManifestationID)11231368(PQKBTitleCode)TC0000321779(PQKBWorkID)10280956(PQKB)11234466(DE-He213)978-3-540-48006-8(PPN)155170171(EXLCZ)99100000000023068620121227d1987 u| 0engurnn#008mamaatxtccrCategory Theory and Computer Science[electronic resource] Edinburgh, UK, September 7-9, 1987. Proceedings /edited by David H. Pitt, Axel Poigne, David E. Rydeheard1st ed. 1987.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1987.1 online resource (VIII, 304 p.)Lecture Notes in Computer Science,0302-9743 ;283Bibliographic Level Mode of Issuance: Monograph3-540-18508-9 Categories 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.Lecture Notes in Computer Science,0302-9743 ;283TopologyComputer logicMathematical logicTopologyhttps://scigraph.springernature.com/ontologies/product-market-codes/M28000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Topology.Computer logic.Mathematical logic.Topology.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.514Pitt David(David H.),edthttp://id.loc.gov/vocabulary/relators/edtPoigne Axeledthttp://id.loc.gov/vocabulary/relators/edtRydeheard David Eedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465797603316Category theory and computer science382680UNISA