Publication | Closed Access

External and internal syntax of the<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>λ</mml:mi></mml:math>-calculus