Proofs and types

Proofs and types

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Girard, Jean-Yves (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cambridge u.a. Cambridge Univ. Press 1990
Ausgabe:Repr. with minor corrections
Schriftenreihe:Cambridge tracts in theoretical computer science 7
Schlagworte:
Lambda calculus > Proof theory > Type theory > Lambda-Kalkül
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XI, 176 S
graph. Darst
ISBN:0521371813
0-521-37181-3