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.
@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}
}
Get EndNote Reference (.ref)