Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Bar Recursion and Choice in a Classical Setting., and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 349-364. Springer, (2013)From Rewrite Rules to Axioms in the $\varPi $-Calculus Modulo Theory., , , and . FoSSaCS (2), volume 14575 of Lecture Notes in Computer Science, page 3-23. Springer, (2024)Diller-Nahm Bar Recursion.. FSCD, volume 260 of LIPIcs, page 32:1-32:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A direct computational interpretation of second-order arithmetic via update recursion.. LICS, page 62:1-62:11. ACM, (2022)Compositional Pre-processing for Automated Reasoning in Dependent Type Theory., , , , , , and . CPP, page 63-77. ACM, (2023)