Compaction of Church numerals

DOI10.3390/A12080159zbMath1461.68076OpenAlexW2967850051WikidataQ127390558 ScholiaQ127390558MaRDI QIDQ2005559

Isamu Furuya, Takuya Kida

Publication date: 8 October 2020

Published in: Algorithms (Search for Journal in Brave)

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)

Uses Software

• LZ-ABT

Cites Work

• Unnamed Item
• Functional programs as compressed data
• LZ-ABT: a practical algorithm for \(\alpha \)-balanced grammar compression
• Algorithmics on SLP-compressed strings: A survey
• Compact bit encoding schemes for simply-typed lambda-terms
• The Smallest Grammar Problem
• Grammar-based codes: a new class of universal lossless source codes
• A Space-Optimal Grammar Compression.
• Automata, Languages and Programming

This page was built for publication: Compaction of Church numerals