型付きラムダ計算
1. Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below).
Read “Typed lambda calculus” on English Wikipedia
Read “型付きラムダ計算” on Japanese Wikipedia
Read “Typed lambda calculus” on DBpedia
Read “Typed lambda calculus” on English Wikipedia
Read “型付きラムダ計算” on Japanese Wikipedia
Read “Typed lambda calculus” on DBpedia
Discussions
Log in to talk about this word.