Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop. Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. pages 111-119, IEEE Computer Society, 2010. [doi]
Abstract is missing.