@InProceedings{alti:csl99,
  author = 	 {Thorsten Altenkirch and Bernhard Reus},
  title = 	 {Monadic presentations of lambda terms using generalized inductive types},
  booktitle = 	 {Computer Science Logic, 13th International Workshop, CSL '99},
  year =	 {1999}, 
  pages     = {453-468}
}