Elena Machkasova. Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. Electronic Notes in Theoretical Computer Science, 204:147-162, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.