Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces

DOI10.7561/SACS.2014.2.325MaRDI QIDQ4621185zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Kleisli categoryfinite setsEilenberg-Moore categoryfinite vector spacesalgebraic lambda-calculus

Mathematics Subject Classification ID

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)