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