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