Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01487657n
Noun Concept
EN
binary lambda calculus
PT
Cálculo lambda binário, do inglês binary lambda calculus, é uma técnica que utiliza o cálculo lambda para estudar a complexidade de Kolmogorov através de uma codificação binária de termos lambda, e o uso de máquina universal. Wikipedia
Relations
Sources
IS A
lambda calculus
Wikidata
EN
binary lambda calculus

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