Pages that link to "Item:Q2914680"

The following pages link to An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680):

Displaying 3 items.

• Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
• (Q5109521) (← links)
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)