1. Bauer, A., Taylor, P.: The Dedekind reals in abstract Stone duality. Math. Struct. Comput. Sci. 19(4), 757–838 (2009). ISSN:0960-1295.
http://dx.doi.org/10.1017/S0960129509007695
2. Coquand, T., Huet, G.: The calculus of constructions. Inform. Comput. 76(2–3), 95–120 (1988). ISSN:0890-5401.
http://dx.doi.org/10.1016/0890-5401(88)90005-3
3. Dedekind, R.: Stetigkeit und irrationale Zahlen. F. Vieweg und sohn (1872)
4. Goldsztejn, A.: Modal intervals revisited, part 1: a generalized interval natural extension. Reliab. Comput. 16, 130–183 (2011). ISSN:1573–1340
5. Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, vol. 141, pp. xviii+ 760. North-Holland, Amsterdam (1999). ISBN:0-444-50170-3