Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. P. Aczel. Galois: a theory development project. A report on work in progress for the Turin meeting on the Representation of Logical Frameworks, 1993.
2. S. Agerholm, I. Beylin, and P. Dybjer. A comparison of HOL and ALF formalizations of a categorical coherence theorema. In Theorem Proving in Higher Order Logic (HOL '96). Springer LNCS, 1996. To appear. Available on http://www.cs.chalmers.se/∼ilya/FMC/hol_alf.ps.gz.
3. T. Altenkirch, V. Gaspes, B. Nordström, and B. von Sydow. A user's guide to ALF. Draft, January 1994.
4. T. Altenkirch, M. Hofmann, and T. Streicher. Categorical reconstruction of a reduction free normalization proof. In D. Pitt, D. E. Rydeheard, and P. Johnstone, editors, Springer LNCS 953, Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 1995.
5. U. Berger and H. Schwichtenberg. An inverse to the evaluation functional for typed λ-calculus. In Proceedings of the 6th Annual IEEE Symposium on Logic in Computer Science, Amsterdam, pages 203–211, July 1991.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献