Lambda-calculus
permutation equivalence
redex families, finite developments
safe and optimal reductions
free interpretation by Böhm trees
inside-out completeness
continuity and stability of Böhm trees
Term Rewriting Systems
orthogonal systems
permutation equivalence
call-by-need strategies
strong sequentiality
call-by-need evaluations
recursive path orderings
Concurrency, Mobility
join-calculus
distributed implementations
Jocaml
Programming languages
debugging of the Ariane 5 onboard software
review of the Columbus ISS module software
programming rules for ESA
