22 Feb
2011
22 Feb
'11
8:13 p.m.
Hello, What is the category that is used to interpret linear logic in a categorical logic sense? Thank you, Vasili