Kock A, Reyes GE. Models for synthetic integration theory. Math. Scand. [Internet]. 1981 Dec. 1 [cited 2026 Aug. 13];48:145-52. Available from: https://tidsskrift.dk/math/article/view/11907