tlca97

Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings. Philippe de Groote (ed.), Lecture Notes in Computer Science, Springer, 1997.

BibTex Reference

@Book{tlca97,
   Title = {Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings},
   BookTitle = {TLCA},
   editor = {de Groote, Philippe},
   Volume = {1210},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)