Hacker News new | ask | show | jobs
by throwaway37585 2895 days ago
You might be interested in reading about the quantum lambda calculus and linear types.