New answers tagged

3 votes

What would you do with a new model of linear logic?

The previous answers talk a lot about syntax and the computer science view. You can also start from the model and say: "Linear logic is a syntax for this model. You can talk about this model ...
Jean-Baptiste Vienney's user avatar

Top 50 recent answers are included