조건부 이벤트가 있는 토폴로지 없는 유형 구조

본 논문에서는 조건부 이벤트가 있는 경우 토폴로지 가정 없이 유형 구조를 구축하여, 기존 연구의 한계를 극복하고 유형 구조의 보편성을 확립합니다.