Difference between revisions of "Fixed point combinators in Combinatory Logic"
From Master Projects
(New page: {{Projectproposal |Contact person=Femke van Raamsdonk |Fulfilled=No }} Define a series of different fixed point combinators in Combinatory Logic starting from the work by Jan Willem Klop e...) |
|||
| Line 1: | Line 1: | ||
{{Projectproposal | {{Projectproposal | ||
|Contact person=Femke van Raamsdonk | |Contact person=Femke van Raamsdonk | ||
| + | |Bachelorprograms=Computer Science | ||
|Fulfilled=No | |Fulfilled=No | ||
}} | }} | ||
Define a series of different fixed point combinators in Combinatory Logic starting from the work by Jan Willem Klop et al. for lambda-calculus. | Define a series of different fixed point combinators in Combinatory Logic starting from the work by Jan Willem Klop et al. for lambda-calculus. | ||
Latest revision as of 11:41, 12 March 2015
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.
