Search

• < Previous
• 1
• Next >

A Light Modality for Recursion

We investigate the interplay between a modality for controlling the behaviour of recursive functional programs on infinite structures which are completely silent in the syntax. The latter means that programs do not contain "marks" showing the application of the introduction and elimination rules for&nbsp;[&hellip;]