Lambda-calculus, types and models

J.L. Krivine ; translated by René Cori

この本の情報

書名 Lambda-calculus, types and models
著作者等 Krivine, Jean-Louis
Cori, René
書名別名 Lambda-calcul, types et modèles
シリーズ名 Ellis Horwood series in computers and their applications
出版元 Ellis Horwood;Masson
刊行年月 c1993
ページ数 viii, 180 p.
大きさ 24 cm
ISBN 0130624071
NCID BA21731890
※クリックでCiNii Booksを表示
言語 英語
原文言語 フランス語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想