演算的相關文章
演算的相關公司資訊
演算的相關商品
Lambda calculus - Wikipedia, the free encyclopedia
瀏覽:1134
日期:2024-09-05
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic and computer science for expressing computation based on function abstraction and application using variable binding and substitution. First formulated by Alonzo Church ...看更多