04283nam 22006975 450 99646572900331620240327180955.03-540-46740-810.1007/BFb0018340(CKB)1000000000233456(SSID)ssj0000321780(PQKBManifestationID)11246336(PQKBTitleCode)TC0000321780(PQKBWorkID)10280957(PQKB)10424583(DE-He213)978-3-540-46740-3(PPN)155189301(EXLCZ)99100000000023345620121227d1989 u| 0engurnn#008mamaatxtccrCategory Theory and Computer Science[electronic resource] Manchester, UK, September 5-8, 1989. Proceedings /edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne1st ed. 1989.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1989.1 online resource (VIII, 372 p.)Lecture Notes in Computer Science,0302-9743 ;389Bibliographic Level Mode of Issuance: Monograph3-540-51662-X Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective -- An algebraic view of interleaving and distributed operational semantics for CCS -- Temporal structures -- Compositional relational semantics for indeterminate dataflow networks -- Operations on records -- Projections for polymorphic strictness analysis -- A category-theoretic account of program modules -- A note on categorical datatypes -- A set constructor for inductive sets in Martin-Löf's type theory -- Independence results for calculi of dependent types -- Quantitative domains, groupoids and linear logic -- Graded multicategories of polynomial-time realizers -- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa -- Dictoses -- Declarative continuations: An investigation of duality in programming language semantics -- Logic representation in LF -- Unification properties of commutative theories: A categorical treatment -- An abstract formulation for rewrite systems -- From petri nets to linear logic -- A dialectica-like model of linear logic -- A final coalgebra theorem.Lecture Notes in Computer Science,0302-9743 ;389Software engineeringComputer logicMathematical logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Software engineering.Computer logic.Mathematical logic.Programming languages (Electronic computers).Software Engineering.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.Mathematical Logic and Foundations.005.1Pitt David(David H.),edthttp://id.loc.gov/vocabulary/relators/edtRydeheard David Eedthttp://id.loc.gov/vocabulary/relators/edtDybjer Peteredthttp://id.loc.gov/vocabulary/relators/edtPitts Andrewedthttp://id.loc.gov/vocabulary/relators/edtPoigne Axeledthttp://id.loc.gov/vocabulary/relators/edtBOOK996465729003316Category theory and computer science382680UNISA