概要 ラムダ式の定義 BNFによる定義 前提) 記号 identifier = {a,b,c,...,x,y,z,...} 1) ::= 2) ::= (λ.) (ラムダ抽象) 3) ::= () (関数適用) where, identifierは可算無限集合(自然数集合Nと濃度が同じ集合) 集合による定義 Vを可算無限個の変数の集…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。