Category theory and computer programming : tutorial and workshop, Guildford, U.K. September 16-20, 1985 : proceedings
Salvato in:
| Altri autori: | , , |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
240 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Actes d'un séminaire tenu à Guildford du 16 au 20 septembre 1985, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Category theory and computer programming, proceedings, tutorial and workshop on..., Guildford, UK, September 16-20, 1985, edited by David Pitt, Samson Abramsky, Axel Poigné and David Rydeheard, Berlin, Springer, 1986, 1 Vol. (VII-519 p.), Lecture notes in computer science, 3-540-17162-2 • Category Theory and Computer Programming, Texte imprimé, 9783662198902 |
Sommario:
- 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.