IO and Ol

7 downloads 9610 Views 5MB Size Report
Which relate the context-free tree languages to recognizable tree lan- guages and to .... over a domain, it follows that the fixed point semantics of any monadic recursive ... of IO and Gl macro grammars, and call by value and call by name (non-.