Lambda-calculus, types and models
著者
書誌事項
Lambda-calculus, types and models
(Ellis Horwood series in computers and their applications)
Ellis Horwood , Masson, c1993
- タイトル別名
-
Lambda-calcul, types et modèles
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
Translation of: Lambda-calcul, types et modèles
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より