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&section=