by International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy)
Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA’99,heldinL’Aquila,on7-9 April1999. It contains25contributions. Fiftywere submitte…