Le lambda-calcul : réductions, causalité et déterminisme
Le lambda-calcul : réductions, causalité et déterminisme. Gérard Berry. Collège de France Chaire Informatique et sciences numériques Cours 2, 2 décembre 2009. Le -calcul pur. x , y , z ,... : variables x . M : abstraction fonction de x de corps M
802 views • 52 slides