Posts Tagged "pl"

Vector Spaces serving as Simply Typed Lambda Calculi

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