abstract:multivalued_functions_dependent_type_theory
This is an old revision of the document!
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=
abstract/multivalued_functions_dependent_type_theory.1642920300.txt.gz · Last modified: 2022/01/23 15:45 by sewon