Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. P. Aczel. Galois: a theory development project. In A report on work in progress for the Turein meeting on the Representation of Logical Frameworks. 1993.
2. T. Altenkirch, M. Hofmann, and T. Streicher. Categorical reconstruction of a reduction-free normalisation proof. In Proc.CTCS '95, volume 953 of LNCS, pages 182–199. Springer Verlag, 1995.
3. James A. Altucher and Prakash Panangaden. A mechanically assisted constructive proof in category theory. In CADS-10, LNAI 449, pages 500–513. Springer Verlag, 1990.
4. G. Barthe. Mathematical concepts in type theory. DRAFT, 1993.
5. I. Beylin and P. Dybjer. Extracting a proof of coherence for monoidal categories from a formal proof of normalization for monoids. In TYPES '95, LNCS. Springer Verlag, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing the ∞-Categorical Yoneda Lemma;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09