abstract:multivalued_functions_dependent_type_theory

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=

abstract/multivalued_functions_dependent_type_theory.txt · Last modified: 2022/01/23 15:46 by sewon