Abraham, Marsden, Ratiu - Manifolds, Tensor Analysis and Applications
Introduction about Geometric Algebra
The lambda calculus David Walker CS 441. the lambda calculus Originally, the lambda calculus was developed as a logic by Alonzo Church in 1932 –Church.
the lambda calculus