%0 Journal Article %1 journals/cuza/ValironZ14 %A Valiron, Benoît %A Zdancewic, Steve %D 2014 %J Sci. Ann. Comput. Sci. %K dblp %N 2 %P 325-368 %T Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces. %U http://dblp.uni-trier.de/db/journals/cuza/cuza24.html#ValironZ14 %V 24

@article{journals/cuza/ValironZ14, added-at = {2020-09-01T00:00:00.000+0200}, author = {Valiron, Benoît and Zdancewic, Steve}, biburl = {https://www.bibsonomy.org/bibtex/28a8dd9a2401f2f51a78852137e0d4f44/dblp}, ee = {https://doi.org/10.7561/SACS.2014.2.325}, interhash = {c197ba71487da41e404b1941262a2e7c}, intrahash = {8a8dd9a2401f2f51a78852137e0d4f44}, journal = {Sci. Ann. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {325-368}, timestamp = {2020-09-09T12:56:22.000+0200}, title = {Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces.}, url = {http://dblp.uni-trier.de/db/journals/cuza/cuza24.html#ValironZ14}, volume = 24, year = 2014 }