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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
— 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