Skip to content
<title>Channels - Solvability = Typability + Inhabitation :: FRELIP Discovery
-
Typability and Type Inference in Atomic Polymorphism
-
No solvable lambda-value term left behind
-
Inhabitation for Non-idempotent Intersection Types
-
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
-
Solvability of Parametric Elliptic Systems with Variable Exponents
-
An Embarrassingly Simple Graph Heuristic Reveals Shortcut-Solvable Benchmarks for Sequential Recommendation
-
Stochastic dynamics with a slip: Two exactly solvable models
-
Pathogenic bacterial species and the microbiome of cat fleas (Ctenocephalides felis) inhabiting flea-infested homes
-
Mammals of the Tandilia Mountain system, current species inhabiting Pampean highland grasslands
-
Inhabitants' perception of factors for improvement and sustainability of environmental sanitation in Ibadan city.
-
Comparing diversity of the terrestrial mammal communities inhabiting native forests and exotic plantations in southern Chile
-
Morphological and molecular identification of two new wood-inhabiting species (Russulales, Basidiomycota) from China
-
Oral health practices of adult inhabitants of a traditional community in Ibadan, Nigeria
-
Oral health practices of adult inhabitants of a traditional community in Ibadan, Nigeria
-
Assessment of Knowledge and awareness of global warming among inhabitants of industrial areas of an urban community in Nigeria
-
Evaluation of socio-economic characteristics, preference and consumption pattern of meat among the inhabitants of Yewa in Ogun State Nigeria
-
Two new soil-inhabiting fungi, Malbranchea cavernicola (Onygenales, Malbrancheaceae) and Talaromyces pangmaphaensis (Eurotiales, Trichocomaceae), from a cave in northern Thailand
-
Environmental impact of rock blasting activities on adjoining structures and its inhabitants: A case study of landson quarry in Ibadn
-
New records for Conotrachelus lobatus Champion, 1904 and C. scoparius Champion, 1904 (Coleoptera, Curculionidae) inhabiting leaf litter in oak forests in central Mexico
-
Dentipellicula hainanensis (Hericiaceae, Agaricomycetes) and Phylloporia rigida (Hymenochaetaceae, Agaricomycetes), two new species of wood-inhabiting fungi from Hainan Province, South China
-
Modal Logics for Nominal Transition Systems
-
Definable decompositions for graphs of bounded linear cliquewidth
-
2-adjoint equivalences in homotopy type theory
-
Tameness in least fixed-point logic and McColm's conjecture
