+

This is the 6th (continuing from part I and part II and part III and part IV and part V) in a series of expository posts where we put together in one place the pieces from various places about: how is treated lambda calculus in chemlambda how it works, with special emphasis on the […]

+

This is the 5th (continuing from part I and part II and part III and part IV) in a series of expository posts where we put together in one place the pieces from various places about: how is treated lambda calculus in chemlambda how it works, with special emphasis on the fixed point combinator. […]

+

This is the 4th (continuing from part I and part II and part III) in a series of expository posts where we put together in one place the pieces from various places about: how is treated lambda calculus in chemlambda how it works, with special emphasis on the fixed point combinator. I hope to […]

+

We need CS collaborators for our project. The project is about a computation model (Distributed GLC) which is: decentralized asynchronous, based on message passing Actor Model style using a Graph Rewriting System called chemlambda. Here is the portrait of the ideal collaborator: is a big fan of functional programming, but not a fanatic understands the […]

+

This is the 3rd (continuing from part I and part II) in a series of expository posts where we put together in one place the pieces from various places about: how is treated lambda calculus in chemlambda how it works, with special emphasis on the fixed point combinator. I hope to make this presentation self-contained. […]