Author(s): Barker, Chris Title: A gentle introduction to Type Logical Grammar, the Curry-Howard correspondence, and cut elimination Keywords: type logical grammar , cut elimination, curry-howard Date submitted: 2003 10 10