A ρ-calculus of explicit constraint application (2004)

by Horatiu Cirstea , Germain Faure , Claude Kirchner
Citations:2 - 0 self