Copy this bookmark:



description:


tags:



bookmark detail

Lambda calculus - Wikipedia, the free encyclopedia
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
pocket 
november 2015 by gr4yscale
view in context