Fridlender D, Indrika M. Do we Need Dependent Types?. BRICS [Internet]. 10. marts 2001 [henvist 5. december 2025];8(10). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20466