@InProceedings{PittsAM:opeplp,
  author =	 {G. M. Bierman and A. M. Pitts and C. V. Russo},
  title =	 {Operational Properties of {Lily}, a Polymorphic
                  Linear Lambda Calculus with Recursion},
  booktitle =	 {Fourth International Workshop on Higher Order
                  Operational Techniques in Semantics, Montr{\'e}al},
  year =	 2000,
  volume =	 41,
  pages =	 {70--88},
  series =	 {Electronic Notes in Theoretical Computer Science},
  month =	 sep,
  publisher =	 {Elsevier},
  issn =	 {1571-0661}
}