Search
Now showing items 1-1 of 1
Nominal Models of Linear Logic
(Queen Mary University of London, 06/11/2019)
More than 30 years after the discovery of linear logic, a simple fully-complete model has still not been established. As of today, models of logics with type variables rely on di-natural transformations, with the intuition ...