Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,648,000 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.
Review
2015
Review
2015
The ‘Land of the Vaish’? Caste Structure and Ideology in Mauritius
Mathieu Claveyrolas
2015
Corpus ID: 143034648
Mauritius has been an independent nation since 1968. It was founded on the history and structures of a plantation society and is…
Expand
2013
2013
People and Spaces in Roman Military Bases
P. Allison
2013
Corpus ID: 126740035
1. Introduction 2. Approaching Roman military communities 3. Studying Roman artefacts and social practice 4. Site selection and…
Expand
Highly Cited
2007
Highly Cited
2007
Differential energy allocation as an adaptation to different habitats in the parasitic wasp Venturia canescens
Perrine Pelosse
,
C. Bernstein
,
E. Desouhant
Evolutionary Ecology
2007
Corpus ID: 42783433
Environmental pressures are expected to favour organisms that optimally allocate metabolic resources to reproduction and survival…
Expand
2003
2003
Improved cookstove and biogas programmes in Bangladesh
M. M. G. Hossain
2003
Corpus ID: 13860326
2001
2001
Land Titling and Indigenous Peoples
Roger Plant
,
S. Hvalkof
,
Libia Grueso
,
Roque Roldán
,
Carlos Rosero
2001
Corpus ID: 13970037
Roger Plant is a consultant specializing in indigenous issues. Soren Hvalkof is an anthropologist specializing in the indigenous…
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
1994
1994
Distribution and dynamics of the red squirrel (Sciurus vulgaris L.) in a landscape with fragmented habitat
R. Apeldoorn
,
C. Celada
,
W. Nieuwenhuizen
Landscape Ecology
1994
Corpus ID: 16824709
In a four year study data on the presence of red squirrel were collected in an agricultural landscape by counting dreys in 49…
Expand
Review
1987
Review
1987
An Evaluation of the Postcode Address File as a Sampling Frame and its Use Within Opcs
P. Wilson
,
D. J. Elliot
1987
Corpus ID: 67047329
The main objective of the Social Survey Division of the Office of Population Censuses and Surveys (OPCS) is to conduct or advise…
Expand
1986
1986
Fish crow predation on eggs of the white ibis at Battery Island, North Carolina
M. Shields
,
J. F. Parnell
1986
Corpus ID: 55393429
-We studied predation by Fish Crows (Corvus ossifragus) on eggs of the White Ibis (Eudocimus albus) during the 1983 and 1984…
Expand
Highly Cited
1978
Highly Cited
1978
Biogeography of Intermountain fishes
Gerald R. Smith
1978
Corpus ID: 55451145
—Eighty-three species of fishes belonging to 26 genera live in the area bounded by the Sierra Nevada, Grand Canyon, Rocky…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE