The following pages link to On a question of H. Friedman (Q1917095):
Displaying 8 items.
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- On a question raised by Conway-Norton (Q1107567) (← links)
- On a question of Davidson and Paulsen (Q1614786) (← links)
- Order-incompleteness and finite lambda reduction models (Q1884896) (← links)
- (Q3322818) (← links)
- (Q4161415) (← links)
- (Q4522584) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)