Eilenberg-Moore 코대수에 대한 등급 의미론과 등급 논리

EM 법칙을 이용하여 Eilenberg-Moore 코대수에 대한 등급 의미론을 정의하고, 이에 대한 표현력 있는 등급 논리를 구축한다.