1.
Fridlender D, Indrika M. Do we Need Dependent Types?. BRICS [Internet]. 2001Mar.10 [cited 2020Nov.30];8(10). Available from: https://tidsskrift.dk/brics/article/view/20466