Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
Sign Up to like & getrecommendations! Published in 2018 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129518000099
Abstract: A new approach to inhabitation problems in simply typed lambda-calculus is shown, dealing with both decision and counting problems. This approach works by exploiting a representation of the search space generated by a given inhabitation… read more here.
Keywords: inhabitation; lambda calculus; search; proof search ... See more keywords