Reductions and Causality
( Tsinghua, 2011 )
Advanced course on λ-calculus (31 October -18 November,
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, Tsinghua University, Beijing, 2011