https://123dok.net/document/zkw6v078-systèmes-de-types-purs-et-substitutions-explicites.html