id: 70671606
dt: a
an: 70671606
au: Sumii, Eijiro; Bannai, Hideo
ti: VM lambda: a functional calculus for scientific discovery
so: APLAS, 265-275 (2001).
py: 2001
pu: 
la: EN
cc: 
ut: 
ci: 
li: