Eijiro Sumii Hideo Bannai VM lambda: a Functional Calculus for Scientific Discovery. 265-275 2001 conf/aplas/2001 APLAS db/conf/aplas/aplas2001.html#SumiiB01