David A. Schmidt
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt

プロフィールはありますか？ログイン

David A. Schmidt の新しいリリースのお知らせを受け取る

お客様の声：

iMusicのウィッシュリストに追加

まだ評価がありません

The Structure of Typed Programming Languages - Foundations of Computing

The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.

383 pages

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	1994年3月1日
ISBN13	9780262691710
出版社	MIT Press Ltd
ページ数	383
寸法	175 × 226 × 23 mm · 680 g
シリーズ編集者	Garey, Michael R.
シリーズ編集者	Meyer, Albert