Semantics of type theory correctness, completeness and independence results
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Boston u.a.
Birkhäuser
1991
|
| Schriftenreihe: | Progress in theoretical computer science
|
| Schlagworte: |
Langages de programmation - Sémantique
> Langages de programmation fonctionnelle
> Programmation fonctionnelle
> Programmation fonctionnelle (informatique)
> Types abstraits de données (informatique)
> Types, Théorie des
> calcul construction
> programmation fonctionnelle
> sémantique langage programmation
> théorie type
> Functional programming (Computer science)
> Programming languages (Electronic computers)
> Semantics
> Type theory
> Semantik
> Funktionale Programmiersprache
> Konstruktive Logik
> Typentheorie
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Literaturverz. S. 292 - 295 |
|---|---|
| Beschreibung: | XII, 298 S. |
| ISBN: | 3764335947 3-7643-3594-7 0817635947 0-8176-3594-7 |