Matrices as arrows! A biproduct approach to typed linear algebra Artigo de Conferência uri icon

data de publicação

  • janeiro 1, 2010