Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings - Girard, Jean-Yves; Girard, Jean-Yves (Springer Berlin Heidelberg : Imprint: Springer, 1999)