Type-logical semantics (1998)

by B Carpenter