Mathematics of Program Construction, 2004. ,
Really Rethinking 'Formal Methods', Computer, vol.43, issue.1, pp.28-34, 2010. ,
DOI : 10.1109/MC.2010.22
The origin of relation algebras in the development and axiomatization of the calculus of relations, Studia Logica, vol.59, issue.2, pp.421-455, 1991. ,
DOI : 10.1007/BF00370681
Matrices, machines and behaviors, Matrices, machines and behaviors, pp.343-360, 1996. ,
DOI : 10.1007/BF00122683
Regular Algebra and Finite Machines, Chap. & Hall, 1971. ,
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach, Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, pp.55-65, 2009. ,
DOI : 10.4204/EPTCS.13.5
Quantitative Kleene coalgebras, Information and Computation, vol.209, issue.5, pp.822-849, 2011. ,
DOI : 10.1016/j.ic.2010.09.007
URL : https://hal.archives-ouvertes.fr/hal-00777557
Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources, pp.1049-1050, 2008. ,
Nouns are vectors, adjectives are matrices: representing adjective-noun constructions in semantic space, Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, pp.1183-1193, 2010. ,
Mathematical foundations for a compositional distributed model of meaning, Linguistic Analysis, vol.36, issue.1-4, pp.345-384, 2010. ,
Do the middle letters of " OLAP " stand for linear algebra, 2011. ,
A methodology for designing, modifying, and implementing Fourier transform algorithms on various architectures, Circuits Systems and Signal Processing, vol.58, issue.3, pp.449-500, 1990. ,
DOI : 10.1007/BF01189337
SPIRAL: Code Generation for DSP Transforms, Proceedings of the IEEE, pp.232-275, 2005. ,
DOI : 10.1109/JPROC.2004.840306
Operator Language: A Program Generation Framework for Fast Kernels, IFIP Working Conference on Domain Specific Languages (DSL WC), pp.385-410, 2009. ,
DOI : 10.1109/TIT.1967.1054010
Categories, Allegories, of Mathematical Library, 1990. ,
Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998. ,
Matrices as Arrows!, Mathematics of Program Construction, pp.271-287, 2010. ,
DOI : 10.1007/978-3-642-13321-3_16
Dependent Types at Work, Language Engineering and Rigorous Software Development, pp.57-99, 2009. ,
DOI : 10.1016/S0304-3975(00)00053-0
A Formalization of Set Theory without Variables, AMS, vol.41, 1987. ,
DOI : 10.1090/coll/041
Fork algebras in algebra, logic and computer science, Logic and Computer Science, 2002. ,
A pseudo representation theorem for various categories of relations, Theory and Applications of Categories, vol.7, issue.2, pp.23-37, 2000. ,
Mathematica: a system for doing mathematics by computer, 1988. ,
Library generation for linear transforms, 2008. ,
Lectures on Constructive Functional Programming, Constructive Methods in Computer Science, pp.151-218, 1988. ,
DOI : 10.1007/978-3-642-74884-4_5
Anatomy of high-performance matrix multiplication, ACM Transactions on Mathematical Software, vol.34, issue.3, pp.1-25, 2008. ,
DOI : 10.1145/1356052.1356053
Adaptive Strassen's matrix multiplication, Proceedings of the 21st annual international conference on Supercomputing, ICS '07, pp.284-292, 2007. ,
Econometric exercises 1, 2005. ,
Matrices as arrows ? Why categories of matrices matter, 2011. ,
The Commutation Matrix: Some Properties and Applications, The Annals of Statistics, vol.7, issue.2, pp.381-394, 1979. ,
DOI : 10.1214/aos/1176344621
The geometry of tensor calculus, I, Advances in Mathematics, vol.88, issue.1, pp.55-112, 1991. ,
DOI : 10.1016/0001-8708(91)90003-P
Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society, pp.447-468, 1996. ,
DOI : 10.1007/BF02096491
Symmetric self-adjunctions and matrices, preprint available from http, p.2011, 2005. ,
Transforming Data by Calculation, Generative and Transformational Techniques in Software Engineering II, International Summer School, pp.134-195, 2008. ,
DOI : 10.1007/978-3-540-88643-3_4
Self-adjunctions and matrices, Journal of Pure and Applied Algebra, vol.184, issue.1, pp.7-39, 2003. ,
On direct product matrices, Bulletin of the American Mathematical Society, vol.40, issue.6, pp.461-468, 1934. ,
DOI : 10.1090/S0002-9904-1934-05899-3
Monads Need Not Be Endofunctors, Foundations of Software Science and Computational Structures, pp.297-311, 2010. ,
DOI : 10.1007/978-3-642-12032-9_21
The derivation of hierarchies of algorithms on matrices, Constructing Programs from Specifications, pp.9-32, 1991. ,
Cryptol: high assurance, retargetable crypto development and validation, IEEE Military Communications Conference, 2003. MILCOM 2003., pp.820-825, 2003. ,
DOI : 10.1109/MILCOM.2003.1290218
Relativity Theory of Electrons and Protons, 1936. ,