docHE02 - Dossier, Le lambda calcul
download 
Plainte Documents pareils
Lambda-calcul le
zero = λn λx λy n(Ty)x
pred = λn (((n λa λb b (SUC(aT)) (aT))) (λc c00) F)
expo = λn λm λf λx mnfx et fac = Y(λf λn zero n 1 (* n (f (pred n))))
Projections, il suffit de définir pri = λx1 λx2 ... ...
Un Lambda-Calcul Atomique
et des règles de réduction en termes de graphes. Les questions plus spécialisées, telles que
les stratégies de réduction et leur efficacité, seront abordées dans des travaux ultérieurs, en
particul...
lambda-calcul et types - Cel
Dans ces notes de cours, nous survolons plusieurs aspects du λ-calcul et du
typage des langages fonctionnels. Les connaissances abordées ici permettent une
meilleure compréhension des langages de...
