Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings by

Lecture Notes in Computer Science

Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings

404 pages paperback

6 editions

nonfiction computer science mathematics informative reflective medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications, TLCA'99, heldinL'Aquila, on7-9 April1999. It contains25contributions. Fiftywere submitted, their overallqualitywas high, and selection ...

Show More

Community Reviews

Loading...

Content Warnings

Loading...