Decidability of the restriction equational theory in the partial lambda calculus (Q1120561)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability of the restriction equational theory in the partial lambda calculus |
scientific article |
Statements
Decidability of the restriction equational theory in the partial lambda calculus (English)
0 references
1989
0 references
equational theory
0 references
partial \(\lambda \) -calculus
0 references