Author(s): Barker, Chris and Chung-chieh Shan
Title: Types as graphs: continuations in type logical grammar
Keywords: type logical grammar, TLG, continuations, crossover, polarity, side-effects
Date submitted: 2004 06 18