Proofs and types

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Girard, Jean-Yves (VerfasserIn)
Weitere Verfasser:	Taylor, Paul (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Pr. 1990
Ausgabe:	Repr. with minor corr.
Schriftenreihe:	Cambridge tracts in theoretical computer science 7
Schlagworte:	Logique symbolique et mathématique > Ordinateurs - Programmation > Preuve, Théorie de la > Types, Théorie des > Computer programming > Proof theory > Type theory > Beweistheorie > Typentheorie > Lambda-Kalkül
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XI, 176 S.
ISBN:	0521371813 0-521-37181-3