Semantics of type theory correctness, completeness and independence results

Zugl.: Diss.

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
Schlagworte:	Type theory > Formal languages > Semantics > Hochschulschrift > Funktionale Programmiersprache > Typentheorie > Semantik > Konstruktive Logik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!