Publisher
Springer International Publishing
Reference20 articles.
1. Amato, G., Maggesi, M., Parton, M., Brogi, C.P.: Universal Algebra in UniMath (2020). https://arxiv.org/abs/2007.04840
2. Lecture Notes in Computer Science;RM Burstall,1980
3. Lecture Notes in Computer Science;V Capretta,1999
4. Chlipala, A.: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. MIT Press (2013). http://adam.chlipala.net/cpdt/
5. Coq Development Team: The Coq Proof Assistant. https://coq.inria.fr/
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献