Antonio Bucciarelli and Delia Kesner are qualified to endorse.
Solvability = Typability + Inhabitation
Antonio Bucciarelli: | Is registered as an author of this paper. Can endorse for cs.LO, cs.PL. (why?) |
Delia Kesner: | Is registered as an author of this paper. Can endorse for cs.LO, cs.PL. (why?) |
Simona Ronchi Della Rocca is not registered as an owner of this paper. (why?)