LEADER 04756nam  22007335  450 
001 996465480303316
005 20200702033507.0
010   $a3-540-69552-4
024 7 $a10.1007/BFb0026977
035   $a(CKB)1000000000234708
035   $a(SSID)ssj0000321778
035   $a(PQKBManifestationID)11277378
035   $a(PQKBTitleCode)TC0000321778
035   $a(PQKBWorkID)10280055
035   $a(PQKB)10800788
035   $a(DE-He213)978-3-540-69552-3
035   $a(PPN)155230646
035   $a(EXLCZ)991000000000234708
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCategory Theory and Computer Science$b[electronic resource] $e7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /$fedited by Eugenio Moggi, Giuseppe Rosolini
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (IX, 319 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1290
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-63455-X 
327   $aAn introduction to n-categories -- Allegories as a basis for algorithmics -- Separating shape from data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical modelling of structural operational rules case studies -- Specifying interaction categories -- Shedding new light in the world of logical systems -- Combining and representing logical systems -- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)). -- Effectiveness of the global modulus of continuity on metric spaces -- Proof principles for datatypes with iterated recursion -- When Do Datatypes Commute? -- A calculus for collections and aggregates -- Lifting -- General synthetic domain theory ? A logical approach (extended abstract).
330   $aThis book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1290
606   $aArchitecture, Computer
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aK-theory
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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   $aK-Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M11086
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aArchitecture, Computer.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aK-theory.
615 14$aComputer System Implementation.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aK-Theory.
615 24$aMathematical Logic and Foundations.
676   $a004/.01/5113
702   $aMoggi$b Eugenio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRosolini$b Giuseppe$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aBiennial Conference on Category Theory in Computer Science$d(7th :$f1997 :$eSanta Margherita Ligure, Italy)
906   $aBOOK
912   $a996465480303316
996   $aCategory theory and computer science$9382680
997   $aUNISA