by
Artemov, Sergei. editor.
Format:
Electronic Resources
Excerpt:
broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and
View Other Search Results
by
Artemov, Sergei. editor.
Format:
Electronic Resources
Excerpt:
broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and
View Other Search Results
Limit Search Results
Narrowed by: