프로그래밍 언어론에 사용되는 수학이론은 어떤게 있어?

[익명(223.62)]

일단 생각나는건

논리
카테고리 이론 인데

- dc official App