Andrej Bauer
- What is algebraic about algebraic effects and handlers?
2018/07/16 by Andrej Bauer, Bauer, Andrej · 2 voices · 1 citation
Computer Science · #08A70 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
- MLFMF: Data Sets for Machine Learning for Mathematical Formalization
2023/10/24 by Andrej Bauer, Matej Petković, Bauer, Andrej +3 · 5 citations
Computer Science · #Data Mining Algorithms and Applications #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing
- Design and Implementation of the Andromeda Proof Assistant
2018/02/17 by Andrej Bauer, Gaëtan Gilbert, Bauer, Andrej +7 · 1 citation
Computer Science · #03B15 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- The Countable Reals
2024/04/01 by Andrej Bauer, Bauer, Andrej, James E. Hanson +1 · 3 voices
Mathematics · #03B99 #03F55 #FOS: Mathematics #Logic (math.LO) #math.LO
- Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem
2023/07/15 by Andrej Bauer, Bauer, Andrej · 1 citation
Biochemistry, Genetics and Molecular Biology · Mathematics · #03F60 (Primary) 03F55 (Secondary) #Connective tissue disorders research #FOS: Mathematics #General Topology (math.GN) #Geometric and Algebraic Topology #Logic (math.LO) #Mathematics and Applications