1. Tight typings and split bounds, fully developed
2. Beniamino Accattoli and Giulio Guerrieri . 2022. Call-by-Value Solvability and Multi Types. CoRR, abs/2202.03079 ( 2022 ), arXiv:2202.03079. arxiv:2202.03079 Beniamino Accattoli and Giulio Guerrieri. 2022. Call-by-Value Solvability and Multi Types. CoRR, abs/2202.03079 (2022), arXiv:2202.03079. arxiv:2202.03079
3. The theory of call-by-value solvability
4. Beniamino Accattoli and Delia Kesner . 2010 . The structural lambda-calculus . In Proceedings of 24th EACSL Conference on Computer Science Logic, Anuj Dawar and Helmut Veith (Eds.) (LNCS , Vol. 6247). Springer, 381– 395 . Beniamino Accattoli and Delia Kesner. 2010. The structural lambda-calculus. In Proceedings of 24th EACSL Conference on Computer Science Logic, Anuj Dawar and Helmut Veith (Eds.) (LNCS, Vol. 6247). Springer, 381–395.
5. Beniamino Accattoli and Luca Paolini . 2012 . Call-by-Value Solvability, Revisited. In FLOPS , Tom Schrijvers and Peter Thiemann (Eds.) (LNCS , Vol. 7294). Springer, 4– 16 . Beniamino Accattoli and Luca Paolini. 2012. Call-by-Value Solvability, Revisited. In FLOPS, Tom Schrijvers and Peter Thiemann (Eds.) (LNCS, Vol. 7294). Springer, 4–16.