abstract:multivalued_functions_dependent_type_theory
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
abstract_multivalued_functions_dependent_type_theory [2022/01/23 15:44] – created 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 ====== | ====== Multivalued functions in a dependent type theory ====== | ||
- | * Andrej Bauer, Philipp G. Haselwarter, | + | |
- | * https:// | + | * https:// |
abstract/multivalued_functions_dependent_type_theory.1642920292.txt.gz · Last modified: 2022/01/23 15:44 by sewon