Texonom
/
Logic
/
Logic Field
/
Lambda Calculus
/
자유 변수
Search
자유 변수
Creator
Creator
Seonglae Cho
Created
Created
2020 Nov 19 13:18
Editor
Editor
Seonglae Cho
Edited
Edited
2022 Feb 17 16:2
Refs
Refs
Language
Language
람다 추상화를 통해 표현에 묶이지 않은 변수
자유 변수의 집합은 귀납적으로 정의된다.
Recommendations
Texonom
/
Logic
/
Logic Field
/
Lambda Calculus
/
자유 변수