A ρ-calculus of explicit constraint application (2004)

by Horatiu Cirstea , Germain Faure , Claude Kirchner