English
Abstract Computing Machines : A Lambda Calculus Perspective
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Algorithms and Programs
-
Altmetric BadgeChapter 3 An Algorithmic Language
-
Altmetric BadgeChapter 4 The λ-Calculus
-
Altmetric BadgeChapter 5 The se(m)cd Machine and Others
-
Altmetric BadgeChapter 6 Toward Full-Fledged λ-Calculus Machines
-
Altmetric BadgeChapter 7 Interpreted Head-Order Graph Reduction
-
Altmetric BadgeChapter 8 The B-Machine
-
Altmetric BadgeChapter 9 The G-Machine
-
Altmetric BadgeChapter 10 The π-red Machinery
-
Altmetric BadgeChapter 11 Pattern Matching
-
Altmetric BadgeChapter 12 Another Functional Abstract Machine
-
Altmetric BadgeChapter 13 Imperative Abstract Machines
-
Altmetric BadgeChapter 14 Real Computing Machines