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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 240