Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells. On Realisability Semantics for Intersection Types with Expansion Variables. Fundamenta Informaticae, 121(1-4):153-184, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.