Typing linear algebra: A biproduct-oriented approach Artigo Académico uri icon

data de publicação

  • janeiro 1, 2013