Lambda-calcul : types et modèles

Jean-Louis Krivine

この本の情報

書名 Lambda-calcul : types et modèles
著作者等 Krivine, Jean-Louis
シリーズ名 Études et recherches en informatique
出版元 Masson
刊行年月 1990
ページ数 viii, 176 p
大きさ 25 cm
ISBN 2225820910
NCID BA11629253
※クリックでCiNii Booksを表示
言語 フランス語
出版国 フランス
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想