Typed Lambda Calculi and Applications Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581)

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings by Jean-Yves Girard
0 ratings, 0.00 average rating, 0 reviews

Typed Lambda Calculi and Applications Quotes Showing 0-0 of 0

All Quotes
Quotes By Jean-Yves Girard