Author:
Freire Nistal J. L.,Blanco Ferro A.,Molinelli Barba J. M.,Freire Brañas E.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Bonfante, G., Guiraud, Y.: Polygraphic programs and polynomial–time functions. LMCS 5 (2009)
2. Bertot, I., Casteran, P.: Interactive Theorem Proving and Program Development. Springer, Heidelberg (2004)
3. Coecke, R.: Course lecture notes HT. Oxford Computer Laboratory (2010)
4. Coquand, T.: An Introduction to Type Theory. Notes of the FPCL summer school, Glasgow (1989)
5. Dixon, L., Duncan, R.: Graphical Reasoning in Compact Closed Categories for Quantum Computation. Journal Annals of Mathematics and Artificial Intelligence 56(1) (2009)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献