English Type inhabitation Cited by user GreenC bot on 13 Feb 2020 In type theory, a branch of mathematical logic, in a given typed calculus, the type inhabitation problem for this calculus is the following problem: given a type.