적분 가능한 원추 공간

이 논문은 실수 측도 공간에서 정의된 원추 공간에 대한 적분 이론을 개발한다. 이를 통해 연속 확률 분포를 다루는 확률적 프로그래밍 언어의 의미론을 구축할 수 있다.