Typed Lambda Calculi and Applications

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 citations on 2 Wikipedia pages.

Giuseppe Longo is an Italian mathematician, epistemologist, theoretical biologist, author, and academic.

The simply typed lambda calculus ( and suitable type variables, while polymorphism and dependency cannot.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.