May be a bit on the theoretical side for most tastes, but if you are interested in LC theory, you need to know about its models.
In these notes Gordon Plotkin covers the fundamental ideas, starting with the problems stemming from self-application and covering such things as Scott-Engeler algebras, Extended Applicative Type Structures etc. The final section discusses some general properties of LC models.
I urge my fellow editors to post links to resources easier to digest, lest we all develop major headaches...
Posted to LC by Ehud Lamm on 8/26/03; 7:19:54 AM