A Semantical and Operational Account of Call-by-Value Solvability.

Alberto Carraro, Giulio Guerrieri

Browse the full FOSSACS paper archive.