Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi.

Benot Valiron, Steve Zdancewic

Browse the full ICTAC paper archive.