Author:
Altucher James A.,Panangaden Prakash
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. J. A. Altucher and P. Panangaden. A machine-assisted proof of the adjoint functor theorem. Technical report, Cornell University, 1990. In preparation.
2. D. Basin. Generalized rewriting in type theory. Technical Report 89-1031, Cornell University, Computer Science Department, 1989.
3. R. Burstall. Electronic category theory. In Proceedings of the Ninth Annual Symposium on the Mathematical Foundations of Computer Science, 1980.
4. T. Coquand and G. Huet. Constructions: A higher order proof system for mechanizing mathematics. In Proceedings of EUROCAL85, Linz. Springer-Verlag, 1985.
5. R. Dyckhoff. Expressing category theory in martin-lof's type theory. Unpublished manuscript, 1984.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献