Re: Relative clauses and lambda calculus

> Anyway, what you've done seems really neat.  I don't understand
> many of the technical details once you start talking about the identity
> function, but before that I got it.  The "language" that you created
> actually seems like a decent way to create a robustly head-initial
> language--just by itself.  I have one VSO language, but it's not really
> *robustly* VSO, so relative clauses are handled a little differently.
> Nevertheless, what you propose is a neat idea.
Thanks. I simply forgot to mention (this may sound obvious,
but anyway...) that another possibility is reversing the syntax
to yield a SOV language. In the example, usual math order
for function application was followed, but there's no need to
respect those conventions.

--

Pablo Barenbaum

_____________________________________________________________
Create tu cuenta webmail en http://www.starlinux.net