Author:
Cohen Cyril,Mörtberg Anders
Publisher
Springer International Publishing
Reference25 articles.
1. Ahrens, B., Kapulkin, C., Shulman, M.: Univalent categories and the Rezk completion (2013),
http://arxiv.org/abs/1303.0584
(preprint)
2. Barakat, M., Lange-Hegermann, M.: An axiomatic setup for algorithmic homological algebra and an alternative approach to localization. J. Algebra Appl. 10(2), 269–293 (2011)
3. Barakat, M., Robertz, D.: homalg – A Meta-Package for Homological Algebra. J. Algebra Appl. 7(3), 299–317 (2008)
4. Barthe, G., Capretta, V., Pons, O.: Setoids in type theory. Journal of Functional Programming 13(2), 261–293 (2003)
5. Cano, G., Dénès, M.: Matrices à blocs et en forme canonique. JFLA - Journées Francophones des Langages Applicatifs (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An algebraic specification language for organizational behavior of OOMAS;Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs;2016-09-03
2. Formalized linear algebra over elementary divisor rings in Coq;Logical Methods in Computer Science;2016-06-22