The Logic of Quantum Mechanics - take II - Perimeter Institute
The Logic of Quantum Mechanics - take II - Perimeter Institute
The Logic of Quantum Mechanics - take II - Perimeter Institute
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
— grammar as pregroups – Lambek ’99 —<br />
For noun type “n”, verb type is “ −1 n · s · n −1 ”, so:<br />
n · −1 n · s · n −1 · n = s<br />
Diagrammatic typing:<br />
n<br />
n<br />
s<br />
-1<br />
n-1<br />
n