On Basic Feasible Functionals and the Interpretation Method.

Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale

Browse the full FOSSACS paper archive.