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

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

Lecture Notes in Computer Science

400 pages • missing pub info (editions)

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

Read more

Community Reviews

Loading...

Content Warnings

Loading...