Multivalued functions in a dependent type theory
Andrej Bauer, Philipp G. Haselwarter, Sewon Park, Egbert Rijke
https://www.kms.or.kr/conference/abstract/search_view.html?num=7324&uid=57&start=0&sort=sortDate&period=57&cate=&etitle=&key_word=&au_name=&au_ename=Sewon%20park&au_office=&au_eoffice=&mode=search§ion=