자료형 t와 s가 주어졌다고 하자.
항 M : t에 대하여 항 $x:s → M의 자료형은 t[s]이다.
항 A : t[s]와 항 B : s에 대하여 항 A[B]의 자료형은 t이다.
변수 $x : s와 항 M : t와 항 N : s에 대하여
($x:s → M)[N]
는 M 안의 $x의 모든 자유 나타남이 N으로 치환된 항이다.
수열과 람다 추상화에서 따옴.
내 언어에 넣을 거임.