Finite generation and presentation problems for lambda calculus and combinatory logic
From MaRDI portal
Publication:2151418
DOI10.1007/978-3-030-93100-1_20MaRDI QIDQ2151418
Publication date: 1 July 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-93100-1_20
03B70: Logic in computer science