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