Category-theoretic models of linear Abadi & Plotkin Logic.
- Lars Birkedal
- , Rasmus Ejlers Møgelberg
- , Rasmus Lerchedahl Petersen
- Queen Mary University of London
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review