Benoît Valiron is qualified to endorse.
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
Benoît Valiron: | Is registered as an author of this paper. Can endorse for cs.CL, cs.ET, cs.LO, cs.PL, quant-ph. (why?) |
Steve Zdancewic: | Is registered as an author of this paper. Not currently an endorser. (why?) |