Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, by

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom,

Lecture Notes in Computer Science

452 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively rep...

Read more

Community Reviews

Loading...

Content Warnings

Loading...