Fridlender, Daniel, and Mia Indrika. “Do We Need Dependent Types?”. BRICS Report Series 8, no. 10 (March 10, 2001). Accessed April 23, 2024. https://tidsskrift.dk/brics/article/view/20466.