@InProceedings{alti:tlca01a,
  author = 	 {Thorsten Altenkirch},
  title = 	 {Representations of first order function types as
  terminal coalgebras},
  booktitle = 	 {Typed Lambda Calculi and Applications, TLCA 2001},
  pages =	 {8 - 21},
  year =	 {2001},
  number = 	 {2044},
  series =	 {Lecture Notes in Computer Science}
}