Fixed point combinators in Combinatory Logic
From Master Projects
About Fixed point combinators in Combinatory Logic
- Contact person: has supervisor::Femke van Raamsdonk
- This project has not yet been fulfilled.
- This project fits in the following Bachelor programs: {{#arraymap:Computer Science|, |xXx|bachelorproject within::xXx|,}}
- This project fits in the following masterareas: {{#arraymap:|, |xXx|project within::xXx|,}}
Description
Define a series of different fixed point combinators in Combinatory Logic starting from the work by Jan Willem Klop et al. for lambda-calculus.
