Codurance
Codurance
  • Clients
  • Services
    • Services & Solutions
    • Software Modernisation
    • Software Delivery
    • Specialist Expertise
    • Strategic Advice
    • Training
  • Publications
  • Careers
  • About us
    • Our People
    • Our Story
  • Contact us
  • EN
  • ES
  • All
  • Posts
  • Videos
  • Podcasts
  • Newsletters
  • By Sergio Rodrigo Royo
  • ·
  • Posted 25 Jan 2018
Lambda Calculus in Clojure (Part 2)

In Part 1, we built a boolean algebra using Church Encoding. In this post, we are going to reuse some of the previous work to build a similar algebra, this time for numerals.

  • functional programming
  • lambda calculus
  • clojure
  • Posts

Did you hone your skills today?

Try Katalyst
Lambda Calculus in Clojure (Part 1)
  • By Sergio Rodrigo Royo
  • ·
  • Posted 14 Dec 2017
Lambda Calculus in Clojure (Part 1)
  • functional programming
  • lambda calculus
  • clojure
  • Posts
Lambda Calculus for mortal developers
  • By Sergio Rodrigo Royo
  • ·
  • Posted 09 Nov 2017
Lambda Calculus for mortal developers
  • functional programming
  • lambda calculus
  • Posts

Interested in joining us?

Learn more
Lambda World Conference 2017
  • By Raquel M Carmena
  • ·
  • Posted 30 Oct 2017
Lambda World Conference 2017
  • functional programming
  • lambda calculus
  • conference
  • category theory
  • Posts

Software is our passion.

We are software craftspeople. We build well-crafted software for our clients, we help developers to get better at their craft through training, coaching and mentoring, and we help companies get better at delivering software.

Latest Blogs

  • Useful Links
    • Services
    • Our people
    • Our story
    • Careers
    • Privacy policy
    • Cookie policy
    • Newsletter subscription
Contact Us
3 Sutton Lane, 3rd floor
London, EC1M 5PU

Phone: +44 207 4902967

2 Mount Street
Manchester, M2 5WQ

Phone: +44 161 302 6795

Carrer de Pallars 99,
4th floor, room 41

Barcelona, 08018

Phone: +34 937 82 28 82

Email: hello@codurance.com
Company Registration No: 8712584