New lecture notes on differential_expression