@PhDThesis{	  abel:PhD,
  author	= {Andreas Abel},
  title		= {A Polymorphic Lambda-Calculus with Sized Higher-Order
		  Types},
  school	= {Ludwig-Maximilians-Universit\"at M\"unchen},
  year		= 2006
}