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
.
Wat wordt er hiet juist bedoelt met P?
Uit het onderste voorbeeld leidt ik af: body van
en argumenten. Klopt dat, want dan is de notatie wel verwarrend imo
(Met dank aan shinta voor de
)
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.