English Giuseppe Longo Cited by user HRShami on 01 Jun 2023 Giuseppe Longo is an Italian mathematician, epistemologist, theoretical biologist, author, and academic.
English Simply typed lambda calculus Cited by user Lexi.lambda on 30 Sep 2022 The simply typed lambda calculus ( and suitable type variables, while polymorphism and dependency cannot.