久しぶりに課題でもやろうかと

Schemeでラムダ計算のシミュレートを行う課題でもやろうかと思ったんですが、課題の意味がよく分かりません。ラムダ式とそのラムダ式の束縛変数の値を受け取り、β変換することをラムダ計算というのであれば、Schemeなら例えば、

((lambda (x) (xの式)) (xの値))

とか書くだけでSchemeがやってくれるように思うのですが、こちらは何を書けばよいというのでしょうか？誰か教えて〜