1 paper
José Espírito Santo, Ralph Matthes, Luís Pinto
A new, comprehensive approach to inhabitation problems in simply-typed lambda-calculus is shown, dealing with both decision and counting problems. This approach works by exploiting…