Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini. Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. Electronic Notes in Theoretical Computer Science, 155:219-245, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.