Pages that link to "Item:Q5178964"

The following pages link to Some Remarks on Type Systems for Course-of-value Recursion (Q5178964):

Displaying 3 items.

• Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
• Getting There and Back Again (Q5074057) (← links)
• Selective Memoization with Box Types (Q5170291) (← links)