Type-Logical Semantics (1997)

by B Carpenter