Compact bit encoding schemes for simply-typed lambda-terms (Q2982009)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compact bit encoding schemes for simply-typed lambda-terms |
scientific article |
Statements
Compact bit encoding schemes for simply-typed lambda-terms (English)
0 references
10 May 2017
0 references
bit encoding
0 references
data compression
0 references
simply-typed lambda-calculus
0 references
