The following pages link to (Q5109521):
Displaying 9 items.
- Constructive proofs of the range property in lambda calculus (Q1314345) (← links)
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- (Q2778886) (← links)
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680) (← links)
- (Q3300788) (← links)
- (Q5875422) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)