Andrej Bauer

Publications

• An Extensible Equality Checking Algorithm for Dependent Type Theories. Andrej Bauer, Anja Petković Komel. 2022.
• Polynomial-Time Exact MAP Inference on Discrete Models With Global Dependencies. Alexander Bauer, Shinichi Nakajima. 2022.
• Finitary Type Theories With and Without Contexts. Philipp G. Haselwarter, Andrej Bauer. 2021.
• A General Definition of Dependent Type Theories. Andrej Bauer, Philipp G. Haselwarter, Peter LeFanu Lumsdaine. 2020.
• Runners in Action. Danel Ahman, Andrej Bauer. 2020.
• What Is Algebraic About Algebraic Effects and Handlers?. Andrej Bauer. 2019.
• Every Metric Space Is Separable in Function Realizability. Andrej Bauer, Andrew Swan. 2019.
• An Effect System for Algebraic Effects and Handlers. Andrej Bauer, Matija Pretnar. 2014.
• Programming With Algebraic Effects and Handlers. Andrej Bauer, Matija Pretnar. 2012.
• First Steps in Synthetic Computability Theory. Andrej Bauer. 2006.