Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
A Constructive Semantics Of The Lambda Calculus
Dieses Buch ist eine Einführung in das Studium des Lambda-Kalküls.
Es erklärt, wie der Lambda-Kalkül verwendet werden kann, um Programmiersprachen zu definieren und über ihr Verhalten nachzudenken. Es ist für Leser mit Grundkenntnissen in diskreter Mathematik und Informatik geeignet.
Dieses Werk wurde von Wissenschaftlern als kulturell wichtig ausgewählt und ist Teil der Wissensbasis der Zivilisation, wie wir sie kennen. Dieses Werk ist in den Vereinigten Staaten von Amerika und möglicherweise in anderen Ländern gemeinfrei. Innerhalb der Vereinigten Staaten dürfen Sie dieses Werk frei kopieren und verbreiten, da keine juristische oder natürliche Person ein Urheberrecht auf den Inhalt des Werks hat.
Die Wissenschaftler sind der Meinung, und wir stimmen ihnen zu, dass dieses Werk wichtig genug ist, um bewahrt, vervielfältigt und der Öffentlichkeit zugänglich gemacht zu werden. Wir freuen uns über Ihre Unterstützung des Bewahrungsprozesses und danken Ihnen, dass Sie dazu beitragen, dieses Wissen lebendig und relevant zu halten.
| ISBN: | 9781019962671 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
