Blogs

Vector Spaces serving as Simply Typed Lambda Calculi

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