Sciweavers

The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
Recent countries visiting this post
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
us5United States
de1Germany