1. Non-wellfounded set theory;Aczel;CSLI Lecture Notes,1988
2. Generalised set theory;Aczel;CSLI Lecture Notes,1996
3. Universes and parameters;Aczel;CSLI Lecture Notes,1991
4. The Lambda Calculus: its Syntax and Semantics;Barendregt,1984
5. Lambda logic;Beeson,2004