Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference23 articles.
1. Aczel, P.: On relating type theories and set theories. In: Altenkirch, T., Naraschewski, W., Reus, B. (eds.) TYPES, Lecture notes in computer science, vol. 1657, pp 1–18. Springer (1998)
2. Agerholm, S., Gordon, M.: Experiments with ZF set theory in HOL and Isabelle. In: Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and its Applications, LNCS, pp 32–45. Springer (1995)
3. Bancerek, G.: The ordinal numbers. Formalized Mathematics 1(1), 91–96 (1990). http://fm.mizar.org/1990-1/pdf1-1/ordinal1.pdf
4. Bancerek, G.: Sequences of ordinal numbers. Formalized Mathematics 1(2), 281–290 (1990). http://fm.mizar.org/1990-1/pdf1-2/ordinal2.pdf
5. Bancerek, G.: Algebra of morphisms. Formalized Mathematics 6(2), 303–310 (1997). http://fm.mizar.org/1997-6/pdf6-2/catalg_1.pdf
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Tale of Two Set Theories;Lecture Notes in Computer Science;2019