Vai al contenuto principale della pagina
Titolo: |
Category Theory and Computer Programming [[electronic resource] ] : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings / / edited by David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
Edizione: | 1st ed. 1986. |
Descrizione fisica: | 1 online resource (X, 522 p.) |
Disciplina: | 005.1015113 |
Soggetto topico: | Computer logic |
Computer programming | |
Logics and Meanings of Programs | |
Programming Techniques | |
Persona (resp. second.): | PittDavid (David H.). |
AbramskySamson | |
PoigneAxel | |
RydeheardDavid | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | Categories -- 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. |
Titolo autorizzato: | Category theory and computer programming ![]() |
ISBN: | 3-540-47213-4 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465967403316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |