Lambda-calcul : types et modèles
著者
書誌事項
Lambda-calcul : types et modèles
（Études et recherches en informatique）
Masson, 1990
大学図書館所蔵 全5件
注記
Bibliography: p. [167]-170
Includes index
Lambda-calcul : types et modèles
（Études et recherches en informatique）
Masson, 1990
Bibliography: p. [167]-170
Includes index