* সাধারণভাবে, কোন ফাংশন <math>f</math>কে কোন মান <math>x</math>এর উপর প্রয়োগ করলে ফলাফল হয় <math>(f\,x)</math>, ধরা যাক <math>f</math> হলো [[ফ্যাকটোরিয়াল]] ফাংশন, আর <math>x</math>এর মান <math>3</math>, তাহলে <math>(f\,x)\rightarrow_\beta(\mbox{factorial}\, 3)\rightarrow_\beta 6</math>.
==প্রয়োগ==
[[গণিত]], [[দর্শন]],<ref>[[Thierry Coquand|Coquand, Thierry]], [http://plato.stanford.edu/archives/sum2013/entries/type-theory/ "Type Theory"], ''The Stanford Encyclopedia of Philosophy'' (Summer 2013 Edition), Edward N. Zalta (ed.).</ref> [[ভাষাবিজ্ঞান]],<ref>{{citeবই bookউদ্ধৃতি |urlইউআরএল=https://books.google.com/books?id=9CdFE9X_FCoC |titleশিরোনাম=Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus |firstপ্রথমাংশ=Michael |lastশেষাংশ=Moortgat |publisherপ্রকাশক=Foris Publications |yearবছর=1988 |isbnআইএসবিএন=9789067653879}}</ref><ref>{{Citation|url=https://books.google.com/books?id=nyFa5ngYThMC |title=Computing Meaning |editor1-first=Harry |editor1-last=Bunt |editor2-first=Reinhard |editor2-last=Muskens |publisher=Springer |year=2008 |isbn=9781402059575}}</ref> and [[কম্পিউটার বিজ্ঞান]].<ref>{{citation|title=Concepts in Programming Languages|first=John C.|last=Mitchell|authorlink=John C. Mitchell|publisher=Cambridge University Press|year=2003|isbn=9780521780988|page=57|url=https://books.google.com/books?id=7Uh8XGfJbEIC&pg=PA57}}.</ref> ল্যাম্ডা ক্যালকুলাসের ব্যবহার বিদ্যমান।
