Jump to : BibTex reference | EndNote reference |

tlca99

Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings. Jean-Yves Girard (ed.), Lecture Notes in Computer Science, Springer, 1999.

BibTex Reference

@Book{tlca99,
   Title = {Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
   BookTitle = {TLCA},
   editor = {Girard, Jean-Yves},
   Volume = {1581},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)