1. Allen, S., Bickford, M., Constable, R., Eaton, R., Kreitz, C., Lorigo, L., Moran, E.: Innovations in computational type theory using Nuprl. Journal of Applied Logic 4(4), 428–469 (2006)
2. Lecture Notes in Computer Science;S. Allen,2000
3. Bancerek, G.: Concrete categories. Journal of Formalized Mathematics 13 (2001)
4. Bancerek, G.: Miscellaneous facts about functors. Journal of Formalized Mathematics 13 (2001)
5. Bancerek, G.: Categorial background for duality theory. Journal of Formalized Mathematics 13 (2001)