The syntactic side of autonomous categories enriched over generalised metric spaces Artigo Académico uri icon

data de publicação

  • janeiro 1, 2023