Category theory and computer science :
the papers of this volume were presented at the fourth biennal Summer conference on category theory and computer science#Sept. 3-6
Abramsky, S. (Editeur) ; Curien, P. L. (Editeur) ; Pitt, D. H. (Editeur)
1991
301 p.
978-3-540-54495-1
00016864
algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne RDA
Langue : Anglais
EAN13 : 9783540544951
ISBN : 3-540-54495-X
Collation : Bibliogr. ; fig.#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0530
Localisation : Collection 1er étage
Numéro de congrès : 4
Année de la rencontre : 1991
Ville du congrès : Paris
Pays du congrès : France
Code ACM : D.2.1 ; D.3.1 ; D.3.3 ; F.3 ; F.4.1
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00016864 | [disponible] |