Bruce Lercher
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 3489097 (Why is no real title available?) | 1976-01-01 | Paper |
| Lambda-calculus terms that reduce to themselves Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3423994 (Why is no real title available?) | 1972-01-01 | Paper |
| A Short Proof of Curry's Normal Form Theorem Proceedings of the American Mathematical Society | 1970-01-01 | Paper |
| Strong reduction and normal form in combinatory logic Journal of Symbolic Logic | 1967-01-01 | Paper |
| The decidability of hindley's axioms for strong reduction Journal of Symbolic Logic | 1967-01-01 | Paper |
Research outcomes over time
This page was built for person: Bruce Lercher
