Binary lambda calculus and combinatory logic
zbMATH Open1137.68020MaRDI QIDQ5448306FDOQ5448306
Authors: John Tromp 
Publication date: 20 March 2008
Recommendations
- Counting terms in the binary lambda calculus
- Counting and generating terms in the binary lambda calculus
- On the number of lambda terms with prescribed size of their de Bruijn representation
- Efficient self-interpretation in lambda calculus
- Enumerating lambda terms by weighted length of their de Bruijn representation
combinatory logiclambda calculusbinary stringsalgorithmic information theoryprogram-size complexitybinary representationsparser-interpreters
Prefix, length-variable, comma-free codes (94A45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)
Cited In (18)
- Statistical properties of lambda terms
- Counting terms in the binary lambda calculus
- Title not available (Why is that?)
- Toggling operators in computability logic
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
- Asymptotic properties of combinatory logic
- Every bit counts: the binary representation of typed data and programs
- Compact bit encoding schemes for simply-typed lambda-terms
- Title not available (Why is that?)
- Finite generation and presentation problems for lambda calculus and combinatory logic
- On some enumerative problems in lambda calculus
- Deriving efficient sequential and parallel generators for closed simply-typed lambda terms and normal forms
- Gödelization in the lambda calculus
- Title not available (Why is that?)
- LISP program-size complexity. III
- Enumerating lambda terms by weighted length of their de Bruijn representation
- On the number of unary-binary tree-like structures with restrictions on the unary height
- Functional programs as compressed data
This page was built for publication: Binary lambda calculus and combinatory logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448306)
