Galois connecting call-by-value and call-by-name

From MaRDI portal
Publication:6151562