Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Binary_lambda_calculus> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples 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 1401.0379.
- Binary_lambda_calculus wikiPageExternalLink cl.html.
- Binary_lambda_calculus wikiPageExternalLink hint.html.
- Binary_lambda_calculus wikiPageID "21924619".
- Binary_lambda_calculus wikiPageLength "19863".
- Binary_lambda_calculus wikiPageOutDegree "34".
- Binary_lambda_calculus wikiPageRevisionID "664283417".
- Binary_lambda_calculus wikiPageWikiLink Big-endian.
- Binary_lambda_calculus wikiPageWikiLink Binary_combinatory_logic.
- Binary_lambda_calculus wikiPageWikiLink Binary_encoding.
- Binary_lambda_calculus wikiPageWikiLink Binary_file.
- Binary_lambda_calculus wikiPageWikiLink Brainfuck.
- Binary_lambda_calculus wikiPageWikiLink Bzip2.
- Binary_lambda_calculus wikiPageWikiLink C_(programming_language).
- Binary_lambda_calculus wikiPageWikiLink Category:Algorithmic_information_theory.
- Binary_lambda_calculus wikiPageWikiLink Category:Lambda_calculus.
- Binary_lambda_calculus wikiPageWikiLink Chaitin.
- Binary_lambda_calculus wikiPageWikiLink Chaitins_constant.
- Binary_lambda_calculus wikiPageWikiLink Church_encoding.
- Binary_lambda_calculus wikiPageWikiLink Church_numerals.
- Binary_lambda_calculus wikiPageWikiLink Conditional_(computer_programming).
- Binary_lambda_calculus wikiPageWikiLink De_Bruijn_index.
- Binary_lambda_calculus wikiPageWikiLink De_Bruijn_indices.
- Binary_lambda_calculus wikiPageWikiLink Dovetailing_(computer_science).
- Binary_lambda_calculus wikiPageWikiLink Endianness.
- Binary_lambda_calculus wikiPageWikiLink Gregory_Chaitin.
- Binary_lambda_calculus wikiPageWikiLink Gzip.
- Binary_lambda_calculus wikiPageWikiLink Halting_probability.
- Binary_lambda_calculus wikiPageWikiLink Haskell_(programming_language).
- Binary_lambda_calculus wikiPageWikiLink If-then-else.
- Binary_lambda_calculus wikiPageWikiLink Infinitary_Lambda_Calculus.
- Binary_lambda_calculus wikiPageWikiLink Kolmogorov_complexity.
- Binary_lambda_calculus wikiPageWikiLink Kraft_inequality.
- Binary_lambda_calculus wikiPageWikiLink Krafts_inequality.
- Binary_lambda_calculus wikiPageWikiLink LISP.
- Binary_lambda_calculus wikiPageWikiLink Lambda_calculus.
- Binary_lambda_calculus wikiPageWikiLink Levenshtein_coding.
- Binary_lambda_calculus wikiPageWikiLink Levenstein_coding.
- Binary_lambda_calculus wikiPageWikiLink Lisp_(programming_language).
- Binary_lambda_calculus wikiPageWikiLink Monad_(functional_programming).
- Binary_lambda_calculus wikiPageWikiLink Null_character.
- Binary_lambda_calculus wikiPageWikiLink On-Line_Encyclopedia_of_Integer_Sequences.
- Binary_lambda_calculus wikiPageWikiLink Prefix_code.
- Binary_lambda_calculus wikiPageWikiLink Quine_(computing).
- Binary_lambda_calculus wikiPageWikiLink Referential_transparency_(computer_science).
- Binary_lambda_calculus wikiPageWikiLink Turing_machine.
- Binary_lambda_calculus wikiPageWikiLink Universal_machine.
- Binary_lambda_calculus wikiPageWikiLinkText "Binary lambda calculus".
- Binary_lambda_calculus hasPhotoCollection Binary_lambda_calculus.
- Binary_lambda_calculus wikiPageUsesTemplate Template:OEIS2C.
- Binary_lambda_calculus wikiPageUsesTemplate Template:Original_research.
- Binary_lambda_calculus subject Category:Algorithmic_information_theory.
- Binary_lambda_calculus subject Category:Lambda_calculus.
- Binary_lambda_calculus hypernym Technique.
- Binary_lambda_calculus type Model.
- Binary_lambda_calculus type Software.
- Binary_lambda_calculus type Model.
- 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=664283417.
- Binary_lambda_calculus isPrimaryTopicOf Binary_lambda_calculus.