Generalized connectives for multiplicative linear logic Conference Paper uri icon

publication date

  • January 13, 2020