Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,940,522 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Automath
Decision problem
Logical framework
PSPACE-complete
Expand
Broader (2)
Lambda calculus
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Predation on Leptodactylus macrosternum (Anura: Leptodactylidae) by Botaurus pinnatus (Pelecaniformes: Ardeidae) in Northeastern Brazil
E. Andrade
,
S. C. Melo
2013
Corpus ID: 133310808
of natural communities (Wells, 2007). Amphibians play an important role in trophic chains (Haddad et al., 2008) being preyed upon…
Expand
2010
2010
Occupancy Pattern Extraction and Prediction in an Inhabited Intelligent Environment Using NARX Networks
Sawsan M. Mahmoud
,
Ahmad Lotfi
,
C. Langensiepen
Sixth International Conference on Intelligent…
2010
Corpus ID: 15162205
In this paper, occupancy pattern extraction and prediction in an intelligent inhabited environment is addressed. The results of…
Expand
2005
2005
Last postglacial environmental evolution of the Laptev Sea shelf as reflected in molluscan , ostracodal , and foraminiferal faunas
E. Taldenkovaa
,
H. A. Bauchb
,
A. Stepanovac
,
S. Dem’yankovd
,
A. Ovsepyand
2005
Corpus ID: 131758553
Temporal and spatial variations in the species composition of modern and Holocene assemblages of molluscs, ostracods, and…
Expand
Review
2004
Review
2004
Description of a new species of damselfish (Pomacentridae: Chromis) from Rapa Island, French Polynesia
D. Lecchini
,
Jeffrey Williams
2004
Corpus ID: 83001672
A new species of pomacentrid fish recently discovered at Rapa Island, Austral Archipelago (French Polynesia), is described…
Expand
2003
2003
Seroprevalencia de la enfermedad de chagas en 17 parajes del "Monte Impenetrable" de la Provincia del Chaco
M. Biancardi
,
M. Moreno
,
N. Torres
,
C. Pepe
,
J. Altcheh
,
Héctor Freilij
2003
Corpus ID: 70808664
In the month of July 1999 and 2000 we studied the presence of Trypanosoma cruzi antibodies in residents of 17 isolated rural…
Expand
2003
2003
Cattle Genetic Resources in Japan: One Successful Crossbreeding Story and Genetic Diversity Erosion
Mitsuru
2003
Corpus ID: 96421628
Besides pigs and ducks, Sus scrofa and Anas sp., no ancestral domesticated animals naturally inhabited Japan. Domestic animals…
Expand
2000
2000
Tourism in Cambodia, Laos and Myanmar: from terrorism to tourism?
Greg Ringer
,
C. Hall
2000
Corpus ID: 59272107
The emerging Southeast Asian nations of Cambodia, Laos, and Myanmar (Burma) are undergoing substantial change. Desperately…
Expand
1999
1999
Some Limnological Features of a Shallow Saline Meromictic Lake
G. C.RNDRSON
1999
Corpus ID: 15608696
Seasonal variations of some physical, chemical, and biological features were studied from I~cccmbcr 1954 to October 1956 in Hot…
Expand
Review
1968
Review
1968
Distribution and Implications of Sponge Spicules in Surficial Deposits in Ohio
L. Wilding
,
L. Drees
1968
Corpus ID: 795951
Microscopic examination of biogenic opal isolated from the 0.05-0.02-mm total mineral fraction of 12 upland soil profiles…
Expand
1965
1965
Results of Archaeomagnetic Research in Czechoslovakia for the Epoch from 4400 B. C. to the Present
V. Bucha
1965
Corpus ID: 67820436
The research into the secular variation of the geomagnetic field, which enables the gradual explanation of the origin and…
Expand