label dependent lambda calculus, definitions based on an unpublished manuscript
contains:
- Curry-style simply typed lambda calculus
- Church-style simply typed lambda calculus
- Curry-style labeled lambda calculus
- Church-style labeled lambda calculus with subtyping
- Curry-styled label-dependent lambda calculus