Nothing Special   »   [go: up one dir, main page]

"Duality between Call-by-value Reductions and Call-by-name Reductions."

Daisuke Kimura (2007)

Details and statistics

DOI: 10.11185/IMT.2.537

access: closed

type: Journal Article

metadata version: 2024-08-27