55 citations · 97 across the 13 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021
Finitary type theories with and without contexts
Philipp G. Haselwarter, Andrej Bauer
We give a definition of finitary type theories that subsumes many examples of dependent type theories, such as variants of Martin-Löf type theory, simple type theories, first-order…
math.LO2021★ 6 cited
Instance reducibility and Weihrauch degrees
Andrej Bauer
We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used…