zbMath0953.03514MaRDI QIDQ4525291
Eike Ritter
Publication date: 22 January 2001
Mathematics Subject Classification ID
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items