Differences

This shows you the differences between two versions of the page.

--- abstract:multivalued_functions_dependent_type_theory [2022/01/23 15:45] – ↷ Page moved and renamed from abstract_multivalued_functions_dependent_type_theory to abstract:multivalued_functions_dependent_type_theory sewon
+++ abstract:multivalued_functions_dependent_type_theory [2022/01/23 15:46] (current) – sewon
@@ Line 1: / Line 1: @@
 ====== Multivalued functions in a dependent type theory ======
-* Andrej Bauer, Philipp G. Haselwarter, Sewon Park, Egbert Rijke
+  * 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=
+  * 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=