Publication:3024917
From MaRDI portal
zbMath1063.03526MaRDI QIDQ3024917
Publication date: 4 July 2005
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B40: Combinatory logic and lambda calculus