Back to Results
First PageMeta Content
Abstract algebra / Models of computation / Linear map / Transformation / Lambda calculus / Denotational semantics / Simply typed lambda calculus / Vector space / Linear combination / Algebra / Mathematics / Linear algebra


arXiv:1406.1310v1 [cs.LO] 5 Jun[removed]Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi∗ Benoˆıt Valiron†
Add to Reading List

Document Date: 2014-06-05 21:10:00

Open Document

File Size: 280,46 KB

Share Result on Facebook

City

Paris / /

Country

United States / /

Facility

France University of Pennsylvania / /

IndustryTerm

set-product / algebraic tensor product / tensor product / usual product / /

Organization

University of Pennsylvania / Philadelphia / /

Person

Steve Zdancewic / Ai / Finite Vector Spaces / /

Position

model for this extension / model for our PCF language PCFf / concrete model / /

Product

F-75205 Paris / /

ProvinceOrState

Pennsylvania / /

Technology

encryption / functional programming / cryptography / /

URL

http /

SocialTag