5 ms·

I have found paper by Raúl Rojas, which is also a good start to learn λ-calculus. Here it is http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf http://www.i

• geoalchimista 8y ago
  There is an updated version of this tutorial on arxiv: https://arxiv.org/abs/1503.09060 https://arxiv.org/abs/1503.09060
• espeed 8y ago
  The significance of this paper is not about learning the λ-calculus. Rather, to me the significance of this paper is that it presents a novel way of "implementing the lambda calculus in an algebraic system" and provides a correspondence between the λ-calculus and the matrix model of computation: Vector and matrix valued functions can be represented by vectors and matrices some of whose entries are lambda expressions. I have been looking for a lingua franca for programming languages, a way to unify the langs and make use of the decades of wisdom encoded into our langs' Great Libs. Maybe the matrix model and linear algebra is the lingua franca I seek.
  • carapace 8y ago
    Paul Halmos' work on Algebraic Logic may be relevant. (And see also Conal Elliott's "Compiling to Categories" http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/compiling-to-categories/ )
  • deleted 8y ago
    [deleted]