![](/img/cover-not-exists.png)
From light logics to type assignments: a case study
Gaboardi, M., Rocca, S. R. D.Volume:
17
Language:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/jzp019
Date:
October, 2009
File:
PDF, 251 KB
english, 2009