Call-by-Value Non-determinism in a Linear Logic Type Discipline.

Alejandro Daz-Caro, Giulio Manzonetto, Michele Pagani

Browse the full LFCS paper archive.