[Agda] Academic reference for the Fin data type

[Nicolas Pouillard]

On Tue, 22 Mar 2011 13:47:58 +0000, Thorsten Altenkirch <txa at Cs.Nott.AC.UK> wrote:
> 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


Thank you! I should have asked before.

Best regards,

-- 
Nicolas Pouillard
http://nicolaspouillard.fr