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
