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
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Report Missing/Incorrect 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...