Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
General Size-Change Termination and Lexicographic Descent Kapitel lesen Erstes Kapitel lesen

2002 | OriginalPaper | Buchkapitel

Demonstrating Lambda Calculus Reduction

verfasst von : Peter Sestoft

Erschienen in: The Essence of Computation

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

We describe lambda calculus reduction strategies, such as call-by-value, call-by-name, normal order, and applicative order, using big-step operational semantics. We show how to simply and efficiently trace such reductions, and use this in a web-based lambda calculus reducer available at <http://www.dina.kvl.dk/~sestoft/lamreduce/>.

Vorheriges Kapitel Simple Driving Techniques
Nächstes Kapitel From Type Inference to Configuration
Metadaten
Titel
Demonstrating Lambda Calculus Reduction
verfasst von
Peter Sestoft
Copyright-Jahr
2002
Verlag
Springer Berlin Heidelberg
Buch
The Essence of Computation

Print ISBN: 978-3-540-00326-7

Electronic ISBN: 978-3-540-36377-4

Copyright-Jahr: 2002

DOI
https://doi.org/10.1007/3-540-36377-7_19

Neuer Inhalt

    Bildnachweise