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 |
Edizione | [1st ed. 1986.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
Descrizione fisica | 1 online resource (X, 522 p.) |
Disciplina | 005.1015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Computer programming Logics and Meanings of Programs Programming Techniques |
ISBN | 3-540-47213-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNISA-996465967403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Category Theory and Computer Science [[electronic resource] ] : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings / / edited by David Pitt, David E. Rydeheard, Peter Johnstone |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (IX, 259 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer science—Mathematics
Computer logic Mathematical logic Software engineering Programming languages (Electronic computers) K-theory Mathematics of Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters K-Theory |
ISBN | 3-540-44661-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Control structures: A model of interaction -- Convenient category of processes and simulations I: Modulo strong bisimilarity -- Dualities between nets and automata induced by schizophrenic objects -- Relational set theory -- Proof of a S.Mac Lane conjecture (extended abstract) -- Effective applicative structures -- The S-replete construction -- The convex powerdomain in a category of posets realized by cpos -- Lifting as a KZ-doctrine -- Categorical fixed point calculus -- A category-theoretic treatment of a parallel algol-like language -- Categorical reconstruction of a reduction free normalization proof -- Decomposing typed lambda calculus into a couple of categorical programming languages -- V-comprehensions and P space -- A proposed categorical semantics for ML modules. |
Record Nr. | UNISA-996466139103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|