Rasmus Ejlers Møgelberg Lars Birkedal Giuseppe Rosolini Synthetic domain theory and models of linear Abadi & Plotkin logic. 115-133 2008 155 Ann. Pure Appl. Logic 2 http://dx.doi.org/10.1016/j.apal.2008.03.006 db/journals/apal/apal155.html#MogelbergBR08