Cited By
View all- Gratzer D(2025)A Modal Deconstruction of Löb InductionProceedings of the ACM on Programming Languages10.1145/37048669:POPL(864-892)Online publication date: 9-Jan-2025
- Fukaishi RKobayashi NSato RKeller GWang M(2024)Productivity Verification for Functional Programs by Reduction to Termination VerificationProceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation10.1145/3635800.3636963(70-82)Online publication date: 11-Jan-2024
- Zúñiga ABel-Enguix G(2022)On Coevaluation Behavior and EquivalenceMathematics10.3390/math1020380010:20(3800)Online publication date: 14-Oct-2022
- Show More Cited By