Sewon's Wiki

User Tools

Site Tools

Trace:
abstract:multivalued_functions_dependent_type_theory

Differences

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

Link to this comparison view

Last revisionBoth sides next revision
abstract_multivalued_functions_dependent_type_theory [2022/01/23 15:44] – created sewonabstract: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.txt · Last modified: 2022/01/23 15:46 by sewon