From light logics to type assignments: a case study
- Marco Gaboardi
- , Simona Ronchi Della Rocca
Research output: Contribution to journal › Article › peer-review
3
Link opens in a new tab
Citations
(Scopus)