Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi [pdf]cis.upenn.edu3 pointstodsacerdoti6 years ago