Publication:3024917

zbMath1063.03526MaRDI QIDQ3024917

I. Stark

Publication date: 4 July 2005

Mathematics Subject Classification ID

68N15: Theory of programming languages

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

03B40: Combinatory logic and lambda calculus