the lambda calculus its syntax and semantics studi
at are some extensions or variants of the basic lambda calculus studied in modern research? Extensions include typed lambda calculus (like simply typed, dependent types), lambda calculus with constants, and calculi incorporating effects, concurrency, or advanced type system