Une nouvelle C\(\beta\)-réduction dans la logique combinatoire
From MaRDI portal
Publication:762137
DOI10.1016/0304-3975(84)90132-4zbMath0557.03009OpenAlexW2020478268MaRDI QIDQ762137
Publication date: 1984
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(84)90132-4
Related Items
On pseudo-c\(\beta\) normal form in combinatory logic, \(c\beta\)-Machine with \(\lambda \beta\)-reduction, The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction, The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II.
Cites Work