FUNCTIONAL PEARL <i>Linear lambda calculus and PTIME-completeness</i> (Q4660260)
From MaRDI portal
scientific article; zbMATH DE number 2148712
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FUNCTIONAL PEARL <i>Linear lambda calculus and PTIME-completeness</i> |
scientific article; zbMATH DE number 2148712 |
Statements
FUNCTIONAL PEARL <i>Linear lambda calculus and PTIME-completeness</i> (English)
0 references
21 March 2005
0 references
Church's coding of Booleans
0 references
