Publication:2723901

zbMath0964.03013MaRDI QIDQ2723901

Richard Statman

Publication date: 8 July 2001

Mathematics Subject Classification ID

03D40: Word problems, etc. in computability and recursion theory

03B40: Combinatory logic and lambda calculus