A graph formalism for proofs in the Lambek calculus with product.
By: by Timothy Alexander Dalton Fowler.
Published: 2006
Place of publication: 2006
Language: eng
Number of pages: 72
Notes: Advisor: Gerald Penn.

Thesis (M.Sc.)--University of Toronto, 2007.