Pages that link to "Item:Q2873682"
From MaRDI portal
The following pages link to Computational Soundness of a Call by Name Calculus of Recursively-scoped Records (Q2873682):
Displayed 2 items.
The following pages link to Computational Soundness of a Call by Name Calculus of Recursively-scoped Records (Q2873682):
Displayed 2 items.