Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.

Claudia Faggian, Giulio Guerrieri

Browse the full FOSSACS paper archive.