1. Aczel, P.: A general Church-Rosser theorem (1978)
2. Adámek, J., Borceux, F., Lack, S., Rosický, J.: A classification of accessible categories. J. Pure Appl. Algebra 175(1-3), 7–30 (2002)
3. Adámek, J., Rosický, J.: On sifted colimits and generalized varieties. Theory Appl. Categ. 8(3), 33–53 (2001)
4. Adams, R.: Lambda-free logical frameworks. Ann. Pure Appl. Logic (to appear)
5. Lecture Notes in Computer Science;T. Altenkirch,2010