Modular Construction of Fixed Point Combinators and Clocked Bohm Trees.

Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop

Browse the full LICS paper archive.