Difference between revisions of "Fixed point combinators in Combinatory Logic"

From Master Projects
Jump to: navigation, search
(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


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.