A graph formalism for proofs in the Lambek calculus with productTimothy Alexander Dalton Fowler · First published 2006Open the Tome
