Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
The lambda calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
1981
Signatur: TCL3149

Details

Autor(en) / Beteiligte
Titel
The lambda calculus : its syntax and semantics
Ist Teil von
Ort / Verlag
Amsterdam [u.a.] : North-Holland Publ. Co.
Erscheinungsjahr
1981
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0444854908
OCLC-Nummer: 1069920405, 1069920405
Titel-ID: 990001563690106463
Format
XIV, 615 S. : Ill., graph. Darst.
Systemstelle
TCL
Schlagworte
Lambda-Kalkül, Lambda-Rechnung

Lade weitere Informationen...