Author of the publication

Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants.

, , , , and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 111-140. Springer, (2017)

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

A Formally Verified Abstract Account of Gödel's Incompleteness Theorems., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 442-461. Springer, (2019)A Formalized General Theory of Syntax with Bindings., and . ITP, volume 10499 of Lecture Notes in Computer Science, page 241-261. Springer, (2017)Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version.. J. Autom. Reason., 67 (3): 23 (September 2023)CoCon: A Conference Management System with Formally Verified Document Confidentiality., , and . J. Autom. Reason., 65 (2): 321-356 (2021)Term-Generic Logic., and . WADT, volume 5486 of Lecture Notes in Computer Science, page 290-307. Springer, (2008)An Institution-Independent Proof of the Robinson Consistency Theorem., and . Stud Logica, 85 (1): 41-73 (2007)A General Theory of Syntax with Bindings., and . Arch. Formal Proofs, (2019)Control-observer technique for surface imaging with an experimental platform of Scanning-Tunneling-Microscope type., , , and . ACC, page 5113-5118. IEEE, (2018)A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)., , and . iFM, volume 14300 of Lecture Notes in Computer Science, page 391-397. Springer, (2023)Do Users Appreciate Explanations of Recommendations? An Analysis in the Movie Domain., , , , , and . RecSys, page 645-650. ACM, (2021)