Lambda Calculus with Types
Gespeichert in:
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
Ähnliche Einträge
-
The Lambda Calculus its syntax and semantics
von: Barendregt, Hendrik P. 1947-
Veröffentlicht: (1984) -
The lambda calculus its syntax and semantics
von: Barendregt, H. P., (Hendrik Pieter)
Veröffentlicht: (1984) -
A Lambda Calculus Satellite
von: Barendregt, Hendrik P. 1947-
Veröffentlicht: (2022) -
The lambda calculus its syntax and semantics
von: Barendregt, Hendrik P. 1947-
Veröffentlicht: (2001) -
The lambda calculus
von: Barendregt, Hendrik Pieter
Veröffentlicht: (1981)