Type inhabitation

Known as: Type inhabitation problem 
In type theory, a branch of mathematical logic, in a given typed calculus, the type inhabitation problem for this calculus is the following problem… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2016
02419922016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We revisit the undecidability result of rank 3 intersection type inhabitation (Urzyczyn 2009) in pursuit of two goals. First, we… (More)
Is this relevant?
2015
2015
Type-inhabitation is a topic of major importance, due to its close relationship to provability in logical systems and has been… (More)
Is this relevant?
2015
2015
This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting… (More)
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Developing modern software typically involves composing functionality from existing libraries. This task is difficult because… (More)
  • figure 1
  • figure 6
  • table 2
  • table 3
Is this relevant?
2012
2012
Developing modern software applications typically involves composing functionality from existing libraries. This task is… (More)
  • table 1
  • table 2
  • table 4
  • table 3
  • table 5
Is this relevant?
2012
2012
Developing modern software applications typically involves composing functionality from existing libraries. This task is… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
Review
2011
Review
2011
Diversity of coral reef fish at Rapa Island (French Polynesia). The South Pacific island of Rapa (27°36'S, 144°21'W) is the… (More)
Is this relevant?
2008
2008
This paper presents a systematic approach for obtaining results from the area of quantitative investigations in logic and type… (More)
  • table 2
Is this relevant?
2004
2004
A phylogenetic analysis of relationships is carried out among the skin-inhabiting mites presently included in the families… (More)
  • table 1
  • figure I
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
2000
2000
We consider types and typed lambda calculus over a nite number of ground types. We are going to investigate the size of the… (More)
Is this relevant?