skip to content
Sewon's Wiki
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
Trace:
•
multivalued_functions_dependent_type_theory
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§ion=
abstract/multivalued_functions_dependent_type_theory.txt
· Last modified: 2022/01/23 15:46 by
sewon
Page Tools
Show pagesource
Old revisions
Backlinks
Back to top