2 papers
cs.LO2026
Polymorphism Meets DHOL
Rhea Ranalter, Florian Rabe, Cezary Kaliszyk
DHOL is an extensional, classical logic that equips the well-known higher-order logic (HOL) with dependent types. This allows for concise encodings of important domains like size-b…
cs.CY2024
The Potential of Answer Classes in Large-scale Written Computer-Science Exams -- Vol. 2
Dominic Lohr, Marc Berges, Michael Kohlhase +1
Students' answers to tasks provide a valuable source of information in teaching as they result from applying cognitive processes to a learning content addressed in the task. Due to…