[Haskell-cafe] linear logic
Vasili I. Galchin
vigalchin at gmail.com
Tue Feb 22 21:13:32 CET 2011
Hello,
What is the category that is used to interpret linear logic in
a categorical logic sense?
Thank you,
Vasili
More information about the Haskell-Cafe
mailing list