On the equational consistency of order-theoretic models of the lambda-calculus.

Alberto Carraro, Antonino Salibra

Browse the full CSL paper archive.