Pages that link to "Item:Q2988360"
From MaRDI portal
The following pages link to Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence (Q2988360):
Displayed 4 items.
The following pages link to Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence (Q2988360):
Displayed 4 items.