Last Updated：2025/12/04
To simplify formal proofs about bound variables, she replaced named variables with the de Bruijn index in her lambda calculus formalization.
See correct answer
To simplify formal proofs about bound variables, she replaced named variables with the de Bruijn index in her lambda calculus formalization.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
