Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
SYL
No term available
EN
Lambda calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. Wikipedia
Relations
Sources
IS A
EN
mathematical model
EN
formal system
PART OF
EN
theory of computation
HAS KIND
EN
binary lambda calculus
EN
typed lambda calculus
HAS INSTANCE
EN
simply typed lambda calculus
EN
System F
DISCOVERER OR INVENTOR
Alonzo Church
HAS QUALITY
EN
Turing completeness
NAMED AFTER
Lambda
USE
EN
model of computation

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License