Search

• < Previous
• 1
• Next >

Ordered Models of the Lambda Calculus

Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model with bottom element. We also relate the subtractive equations&nbsp;[&hellip;]