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 t...

Full description

Bibliographic Details
Main Authors: Antonino Salibra, Alberto Carraro
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2013-12-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/726/pdf