[질문] 이거 풀어보실 분 계신가요?

[기괴공학도(mecheng98)]

이게 타입 시스템의 구문론이고,

이게 constraint-entailment의 추론 규칙인데,

Θ ||- θ를 판정하는 프로그램을 못 만들겠네요.

힌트 좀 주시면 감사하겠습니다.

논문 전문은 다음 링크에 있습니다:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.113.5909&rep=rep1&type=pdf