Mathematics - Untyped Lambda Calculus Basics - Worked Examples

  • Posted:
  • Proposals: 0
  • Remote
  • #38949
  • Expired
  • 0


Experience Level: Intermediate
I am a software developer with mathematics knowledge up to A Level trying to understand a masters degree concept (lambda calculus) becuase it is the origin of several programming concepts (computability theory, functional programming languages). In order to understand it, I need to see worked examples. Since I am not on a university course, I can't get them in the usual way. I can't find any on the internet and the few books I have found do not offer enough detail. Therefore, I would like someone to create them for me.

Bidders are requested to propose a fixed price for the entire job, a fixed price for each section (see the attached file) or a price per hour of work as they see fit.

Full details are listed in the attached text file. Please bear in mind that I am still new to lambda calculus and forgive any misuse of terms. If any viewer of this job feels that these requirements could be modified to better achieve the aim of understanding the basics of lambda calculus, I would appreciate hearing from them even if they are not interested in making a bid.

New Proposal

Create an account now and send a proposal now to get this job.

Sign up

Clarification Board Ask a Question

    There are no clarification messages.