Solvability in Resource Lambda-Calculus.

Michele Pagani, Simona Ronchi Della Rocca

Browse the full FOSSACS paper archive.