이 범주에는 람다 미적분 대신 용어 개서를 기반으로 하는 기능 언어가 나열됩니다.
총 11페이지 중 다음 11페이지가 이 범주에 속합니다.이 목록에는 최근 변경된 내용이 반영되지 않을 수 있습니다(자세한 내용은 참조).
