Synthetic domain theory and models of linear Abadi & Plotkin logic
Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe RosoliniVolume:
155
Year:
2008
Language:
english
Pages:
19
DOI:
10.1016/j.apal.2008.03.006
File:
PDF, 604 KB
english, 2008