Simply typed lambda calculus with first-class environments

この本の情報

書名 Simply typed lambda calculus with first-class environments
著作者等 西崎 真也
書名別名 ファーストクラスな環境をもつ単純型付ラムダ計算
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想