Powerposets

Barendregt, 1984, The Lambda Calculus: Its Syntax and Semantics Engeler, 1981, Algebras and combinators, Algebra Universalis, 13, 389, 10.1007/BF02483849 Gierz, 1980 Hewitt, 1977, Actors and continuous Functionals Kowalski, 1979, Logic for Problem Solving Longo, 1983, Set-theoretical models of λ-calculus: Theories, expansions, isomorphisms, Ann. Pure Appl. Logic, 24, 153, 10.1016/0168-0072(83)90030-1 Markowski, 1981, A motivation and generalization of Scott's notion of a continuous lattice, 288 Meyer, 1982, What is a model of the lambda calculus?, Inform. Contr., 52, 87, 10.1016/S0019-9958(82)80087-9 Peterson, 1981 Scott, 1976, Data types as lattices, SIAM J. Comput., 5, 522, 10.1137/0205037