Material from the course
``Modality in Substructural Logics''
by Kosta Dosen,
Third European Summer School on Language, Logic, and Information,
Saarbruecken, Germany,
August 1991.

Author: Frank Pfenning

lambek.elf - two formulations of Lambek's non-associative calculus and
	     their equivalence.
