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

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

Lecture Notes in Computer Science

404 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced
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 ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...