Strong call-by-value and multi types

From MaRDI portal
Publication:6605354