型付きラムダ計算

【かたつきらむだけいさん】

中文：有类型λ演算

中日対訳辞書はプログラムで機械的に意味や表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。