Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces
DOI10.7561/SACS.2014.2.325zbMATH Open1424.18015OpenAlexW2094561316MaRDI QIDQ4621185FDOQ4621185
Authors: Benoît Valiron, Steve Zdancewic 
Publication date: 8 February 2019
Published in: Scientific Annals of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.7561/sacs.2014.2.325
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Algebraic theory of languages and automata (68Q70) Combinatory logic and lambda calculus (03B40) Eilenberg-Moore and Kleisli constructions for monads (18C20) Functional programming and lambda calculus (68N18)
This page was built for publication: Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621185)
