23 Feb
2011
23 Feb
'11
1:43 a.m.
Hello, What is the category that is used to interpret linear logic in a categorical logic sense? Thank you, Vasili