Post#3 » Sat Jun 16, 2007 3:54 pm
Op pagina 16 van de slides van les 2 staat er dat een variabele x gebonden is als hij zich bevindt binnen een subterm van de vorm
![](https://chart.googleapis.com/chart?cht=tx&chf=bg,s,FFFFFF00&chl=\lambda x.P)
.
Wat wordt er hiet juist bedoelt met P?
Uit het onderste voorbeeld leidt ik af: body van
![](https://chart.googleapis.com/chart?cht=tx&chf=bg,s,FFFFFF00&chl=\lambda x)
en argumenten. Klopt dat, want dan is de notatie wel verwarrend imo
(Met dank aan shinta voor de
![Razz :P](./images/smilies/icon_razz.gif)
)
Last edited by
filippeesje on Sat Jun 16, 2007 7:47 pm, edited 5 times in total.
Soooo Broccoli, mother says you're very good for me. But I'm afraid I'm no good for you.