Scott Is Always Simple [chapter]

Antonino Salibra
2012 Lecture Notes in Computer Science  
In this paper we give an outline of recent algebraic results concerning theories and models of the untyped lambda calculus.
doi:10.1007/978-3-642-32589-2_3 fatcat:jqadnhzb5jcudfucqdvxbirasa