Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic

share

authors

Josiah Carberry

publication date

2022

published in

Lecture Notes in Computer Science Journal

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-030-93100-1_20