En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
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

Bookmarks Report an error
Congrès

Abramsky, S. (Editor) ; Curien, P. L. (Editor) ; Pitt, D. H. (Editor)

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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540544951

ISBN : 3-540-54495-X

Collation : Bibliogr. ; fig.#24 cm#broch.

Series : Lecture notes in computer science

Nb in series : 0530

Location : Collection 1er étage

Event Number : 4

Event Year : 1991

City of congres : Paris

Country of congres : France

ACM code : D.2.1 ; D.3.1 ; D.3.3 ; F.3 ; F.4.1

Conference type : Congrès

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00016864

[available]
Bookmarks Report an error