Compaction of Church numerals

DOI10.3390/A12080159MaRDI QIDQ2005559zbMATH OpenOpenAlexWikidataFDO

Authors Isamu Furuya, T. Kida

Publication date 8 October 2020

Published in Algorithms (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.3390/a12080159

zbMATH Keywords

lossless compressionlambda termhigher-order compression

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 2084341
• An adequate and efficient left-associated binary numeral system in the \(\lambda\)-calculus
• THEORETICAL PEARL Church numerals, twice!
• Compact numeral representation with combinators
• Some results on numerical systems in \(\lambda\)-calculus

Cites work

• scientific article; zbMATH DE number 2084341 (Why is no real title available?)
• A space-optimal grammar compression
• Algorithmics on SLP-compressed strings: a survey
• Automata, Languages and Programming
• Compact bit encoding schemes for simply-typed lambda-terms
• Functional programs as compressed data
• Grammar-based codes: a new class of universal lossless source codes
• LZ-ABT: a practical algorithm for \(\alpha \)-balanced grammar compression
• The Smallest Grammar Problem

Cited in

(4)

• scientific article; zbMATH DE number 2084341 (Why is no real title available?)
• THEORETICAL PEARL Church numerals, twice!
• Compact numeral representation with combinators
• An adequate and efficient left-associated binary numeral system in the \(\lambda\)-calculus

Describes a project that uses

Uses Software

• LZ-ABT

This page was built for publication: Compaction of Church numerals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2005559)