[Agda] Academic reference for the Fin data type

[Thorsten Altenkirch]

I used them in 
@InProceedings{alti:tlca93,
  author = 	"Thorsten Altenkirch",
  title = 	"A Formalization of the Strong Normalization Proof for
{System F} in {LEGO}",
  booktitle = 	"Typed Lambda Calculi and Applications",
  year = 	"1993",
  editor = 	"M. Bezem, J.F. Groote",
  series = 	"LNCS 664",  
  pages =       "13 - 28",
}
See Section 3.3

Cheers,
Thorsten

On 22 Mar 2011, at 11:22, Nicolas Pouillard wrote:

> Hello,
> 
> I'm looking for a paper to cite about the Fin data type and its use
> to represent binders (say λ-terms). (I already have those about the
> approach with nested data types).
> 
> Any idea?
> 
> Thanks in advance,
> 
> -- 
> Nicolas Pouillard
> http://nicolaspouillard.fr
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110322/20355b5c/attachment.html