Category theory and computer science Paris, France, September 3 - 6, 1991 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1991
|
| Schriftenreihe: | Lecture notes in computer science
530 |
| Schlagworte: |
Categorieën (wiskunde)
> Catégories (Mathématiques) - Congrès
> Catégories (mathématiques) - Congrès
> Computers
> Informatique - Congrès
> logique linéaire
> théorie catégorie
> théorie domaine
> théorie type
> Informatik
> Categories (Mathematics)
> Computer science
> Kategorientheorie
> Datenverarbeitung
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | 301 S. |
|---|---|
| ISBN: | 354054495X 3-540-54495-X 038754495X 0-387-54495-X |