Strong Call-by-Value is Reasonable, Implosively.

Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen

Browse the full LICS paper archive.