Lambda-calculus, types and models
Author(s)
Bibliographic Information
Lambda-calculus, types and models
（Ellis Horwood series in computers and their applications）
Ellis Horwood , Masson, c1993
- Other Title
-
Lambda-calcul, types et modèles
Available at / 13 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Translation of: Lambda-calcul, types et modèles
Description and Table of Contents
Description
This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.
Table of Contents
- Substitution and Beta-conversion
- representation of recursive functions
- types with intersection
- normalization and standardization
- the Bohm Theorem
- combinatory logic
- models of the Lambda-calculus
- the System F. second order functional arithmetic
- representable functions in the System F.
by "Nielsen BookData"