Category theory and computer science : Edinburgh, U.K., September 7 9, 1987 : proceedings
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
283 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 science, Edinburgh, UK, September 7-9, 1987, proceedings, D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.), Berlin, Springer-Verlag, 1987, 1 vol. (IV-300 p.), Lecture notes in computer science, 3-540-18508-9 • Category Theory and Computer Science, Texte imprimé, 9783662197127 |
Table des matières:
- Categories and effective computations
- Polymorphism is set theoretic, constructively
- An equational presentation of higher order logic
- Enriched categories for local and interaction calculi
- The category of Milner processes is exact
- Relating two models of hardware
- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
- A typed lambda calculus with categorical type constructors
- Final algebras, cosemicomputable algebras, and degrees of unsolvability
- Good functors ... are those preserving philosophy!
- Viewing implementations as an institution
- An interval model for second order lambda calculus
- Logical aspects of denotational semantics
- Connections between partial maps categories and tripos theory
- A fixpoint construction of the p-adic domain
- A category of Galois connections.