On Adding (ξ) to Weak Equality in Combinatory Logic
| Autor: | Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1989 Jun 01. 54(2), 590-607. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1989 Jun 01. 54(2), 590-607. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|