-=[ Docs ]=-

Introduction Au Lambda Calcul - (26 Septembre 2001) Authors Michel Levy Language Francais Type public Url Summary Lambda calcul Pages 37 Parts 1 Reduction 2 Programmation en lambda-calcul 3 Typage

An Introduction to Functional Programming through Lambda Calculus - (October 1998) Authors Greg Michaelson Language English Type public Url Summary Lambda calculus, functional programming Pages 241 Parts