Last Updated：2025/12/01
Several widely studied Cartesian closed categories provide the semantic foundation for simply typed lambda calculus.
See correct answer
Several widely studied Cartesian closed categories provide the semantic foundation for simply typed lambda calculus.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
