Last Updated:2025/12/05

When teaching lambda calculus, she often used de Bruijn notation to avoid issues with variable names.

See correct answer

When teaching lambda calculus, she often used de Bruijn notation to avoid issues with variable names.

音声機能が動作しない場合はこちらをご確認ください
Edit Histories(0)
Source Sentence

ラムダ計算を教えるとき、彼女は変数名の問題を避けるためにラムダ項のためのインデックス表記法をよく用いた。

Sentence quizzes to help you learn to read

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★