I enjoyed some papers of Luca cardelli (when I remember the name correctly). There is also one overview/introduction about dependent type systems he wrote.

This is all very theoretically heavy though.