Posts Tagged "finite-vector-spaces"

Vector Spaces serving as Simply Typed Lambda Calculi

My notes on finite state vector spaces for simply typed lambda calculi