1. Comparing cubes of typed and type assignment systems;van Bakel;Annals of Pure and Applied Logic,1997
2. Introduction to generalized type systems;Barendregt;Journal of Functional Programming,1991
3. Lambda calculi with types;Barendregt,1992
4. Proof-assistants using dependent type systems;Barendregt,2001
5. An introduction to dependent type theory;Barthe,2002