First Page | Document Content | |
---|---|---|
![]() Date: 2006-12-20 15:47:42Applied mathematics Explicit substitution Calculus Free variables and bound variables Normalization property Unification Substitution Function Typed lambda calculus Lambda calculus Theoretical computer science Mathematics | Add to Reading List |