Reductions and Causality
( ECI, 2013 )
Advanced course on λ-calculus (22 July -26 July,
Independence and causality within computations
models, parallel computations, security, λ-calculus)
Parallel reductions. Residuals. Parallel moves. Cube lemma.
Residuals of reductions. Equivalence by permutations
The lattice of reductions. Canonical reductions.
Redexes and their history. Redex families.
Finite developments +.
Infinite reductions and infinite families
Decidability of redex families. Labeled λ-calculus
Reductions and Winskel's event structures. Causality.
and Programming (in French)
Course, ECI, Buenos Aires, 2013