Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings by

Lecture Notes in Computer Science

Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings

400 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

This volume represents the proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France during 26-28 June 2007, in conjunction with RTA. It contains the abstracts of the invited talk...

Show More

Community Reviews

Loading...

Content Warnings

Loading...