Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Binary_lambda_calculus> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Binary_lambda_calculus abstract "Binary lambda calculus (BLC) is a technique for using the lambda calculus to study Kolmogorov complexity, by working with a standard binary encoding of lambda terms, and a designated universal machine. Binary lambda calculus is a new idea introduced by John Tromp in 2004.".
- Binary_lambda_calculus wikiPageExternalLink cl.html.
- Binary_lambda_calculus wikiPageExternalLink hint.html.
- Binary_lambda_calculus wikiPageID "21924619".
- Binary_lambda_calculus wikiPageRevisionID "590124914".
- Binary_lambda_calculus hasPhotoCollection Binary_lambda_calculus.
- Binary_lambda_calculus subject Category:Algorithmic_information_theory.
- Binary_lambda_calculus subject Category:Lambda_calculus.
- Binary_lambda_calculus comment "Binary lambda calculus (BLC) is a technique for using the lambda calculus to study Kolmogorov complexity, by working with a standard binary encoding of lambda terms, and a designated universal machine. Binary lambda calculus is a new idea introduced by John Tromp in 2004.".
- Binary_lambda_calculus label "Binary lambda calculus".
- Binary_lambda_calculus sameAs m.05p3t4m.
- Binary_lambda_calculus sameAs Q4913897.
- Binary_lambda_calculus sameAs Q4913897.
- Binary_lambda_calculus wasDerivedFrom Binary_lambda_calculus?oldid=590124914.
- Binary_lambda_calculus isPrimaryTopicOf Binary_lambda_calculus.