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