m

F Nous contacter

0
     
Congrès

H 0 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)

Springer-Verlag

1991

301 p.

978-3-540-54495-1

00016864

03D40 ; 18-06 ; 68-06

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00016864 [disponible]
Z