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. (Editor) ; Curien, P. L. (Editor) ; Pitt, D. H. (Editor)
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
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
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00016864 | [available] |