Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Invasive species are the greatest threat to island ecosystems, which harbour nearly half the world’s endangered biodiversity… Expand
  • figure 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
covering core geographical methods and theories, and may include some Physical Geography. Later on in the degree, students can… Expand
  • table 1
  • table 2
Is this relevant?
2006
2006
Class explains much in the differentiation of life chances and political dynamics in South Asia. Yet in the subcontinent class… Expand
Is this relevant?
2006
2006
Conrad’s false mussel, Mytilopsis leucophaeata has been found in the central Gulf of Finland, which is the first record of this… Expand
  • figure 1
  • figure 2
Is this relevant?
2004
2004
SynopsisWe documented species' distributions, size structure of populations, abundance in mainstem and tributary streams, habitat… Expand
  • figure 1
  • table I
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2003
2003
SummaryThe molecular characterisation of 18 new populations of Reticulitermes is here presented for COII and 16S genes; results… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2002
2002
The former and present distribution of white clawed crayfish (Austropotamobius pallipes) in the province of Granada (southern… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Mar Chiquita, a brackish coastal lagoon in central Argentina, is inhabited by dense populations of two intertidal grapsid crab… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1984
1984
— An investigation to determine the location and extent of populations of pygmy rabbits (Syhihigtis id(ihocnsis) in Oregon, and… Expand
  • figure 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
1966
1966
Open-coast molluscan assemblages of late Pleistocene age from northwestern Baja California to Oregon can be grouped to represent… Expand
  • table 2
  • table 3
  • table 4
  • figure 2
  • table 6
Is this relevant?