TY  - RPRT
TI  - Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
AU  - Benoît Valiron
AU  - Steve Zdancewic
PY  - 2014
DO  - 10.1007/978-3-319-10882-7_26
UR  - https://arxiv.org/abs/1406.1310
ID  - 1406.1310
ER  -