Title: Introduction to Ordered Linear Logic

Abstract: 
  Ordered Linear Logic conservatively extends Intuitionistic Linear Logic
with ordered hypotheses which are both linear and ordered so that neither
weakening, contraction, nor exchange hold for them. The addition of
ordered hypotheses allows concise logical specifications of various
systems involving simple data structures such as stacks and queues. This
talk will introduce and motivate Ordered Linear Logic as a natural
progression from Intuitionistic Logic to Intuitionistic Linear Logic to
Ordered Linear Logic. Finally, I will show how ordered hypotheses can be
used to give an elegant logical specification of the translation between
DeBruijn and named lambda terms.