Semantics of type theory correctness, completeness and independence results

Diss., 1988

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Streicher, Thomas (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston u.a. Birkhäuser 1991
Schriftenreihe:	Progress in theoretical computer science 5
Schlagworte:	Funktionale Programmiersprache > Typentheorie > Semantik > Konstruktive Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!