Modular Construction of Fixed Point Combinators and Clocked Boehm Trees

Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop

Fixed point combinators (and their generalization: looping combinators) are classic notions belonging to the heart of lambda-calculus and logic. We start with an exploration of the…