@InProceedings{PittsAM:steibt,
  author =	 {A. M. Pitts},
  title =	 {Step-Indexed Biorthogonality: a Tutorial Example},
  booktitle =	 {Modelling, Controlling and Reasoning About State},
  year =	 2010,
  editor =	 {A. Ahmed and N. Benton and L. Birkedal and
                  M. Hofmann},
  number =	 {10351},
  series =	 {Dagstuhl Seminar Proceedings},
  ISSN =	 {1862-4405},
  publisher =	 {Schloss Dagstuhl---Leibniz-Zentrum fuer Informatik,
                  Germany},
  address =	 {Dagstuhl, Germany},
  URL =		 {http://drops.dagstuhl.de/opus/volltexte/2010/2806},
  annote =	 {Keywords: Biorthogonality, logical relations,
                  operational semantics, step-indexing}
}