Lambda Calculus with Types

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Barendregt, Hendrik P. 1947- (VerfasserIn), Dekkers, Wil (VerfasserIn), Statman, Richard (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Cambridge [u.a.] Cambridge Univ. Press 2013
Ausgabe:1. publ.
Schriftenreihe:Perspectives in Logic
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge