Fridlender, Daniel, og Mia Indrika. “Do We Need Dependent Types?”. BRICS Report Series 8, no. 10 (marts 10, 2001). Set maj 20, 2024. https://tidsskrift.dk/brics/article/view/20466.