A Categorical Semantics for Linear Logical Frameworks.

Matthijs Vkr

Browse the full FOSSACS paper archive.