Author:
Kozen Dexter,Kreitz Christoph,Richter Eva
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Allen, S., et al.: Innovations in computational type theory using Nuprl. Journal of Applied Logic (to appear, 2006)
2. Lecture Notes in Computer Science;S. Allen,2000
3. Bancerek, G.: Concrete categories. J. formalized mathematics 13 (2001)
4. Bancerek, G.: Miscellaneous facts about functors. J. form. math. 13 (2001)
5. Bancerek, G.: Categorial background for duality theory. J. form. math. 13 (2001)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献