Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey |
scientific article |
Statements
Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (English)
0 references
10 August 2020
0 references
0 references
